Skip to content
GitHub macOS CI

use prof2html in bench #4545

Sign in to view logs

use prof2html in bench

use prof2html in bench #4545

Triggered via push January 8, 2025 14:36
@SkySkimmerSkySkimmer
pushed cbaa0d5
coqprofreader
Status Success
Total duration 23m 45s
Artifacts –

ci-macos.yml

on: push
macOS
23m 36s
macOS
Fit to window
Zoom out
Zoom in