Skip to content
GitHub macOS CI

coqprof2html: produce bench html files from profile json files #4540

Sign in to view logs

coqprof2html: produce bench html files from profile json files

coqprof2html: produce bench html files from profile json files #4540

Triggered via push January 8, 2025 13:28
@SkySkimmerSkySkimmer
pushed 35ee4fe
coqprofreader
Status Success
Total duration 25m 9s
Artifacts –

ci-macos.yml

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