Skip to content
GitHub macOS CI

use profile files for timelog2html in bench #4555

Sign in to view logs

use profile files for timelog2html in bench

use profile files for timelog2html in bench #4555

Triggered via push January 9, 2025 15:18
@SkySkimmerSkySkimmer
pushed 4e5b152
coqprofreader
Status Success
Total duration 28m 49s
Artifacts –

ci-macos.yml

on: push
macOS
28m 38s
macOS
Fit to window
Zoom out
Zoom in