Skip to content
GitHub macOS CI

use profile files for timelog2html in bench #4576

Sign in to view logs

use profile files for timelog2html in bench

use profile files for timelog2html in bench #4576

Triggered via push January 13, 2025 13:56
@SkySkimmerSkySkimmer
pushed 1598141
coqprofreader
Status Success
Total duration 24m 13s
Artifacts –

ci-macos.yml

on: push
macOS
24m 0s
macOS
Fit to window
Zoom out
Zoom in