Skip to content
Windows CI

use profile files for timelog2html in bench #4393

Sign in to view logs

use profile files for timelog2html in bench

use profile files for timelog2html in bench #4393

Triggered via push January 9, 2025 15:18
@SkySkimmerSkySkimmer
pushed 4e5b152
coqprofreader
Status Success
Total duration 1h 3m 22s
Artifacts 1

ci-windows.yml

on: push
Matrix: Windows
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
windows-installer
132 MB