Skip to content
GitHub macOS CI

Fix bench #4548

Sign in to view logs

Fix bench

Fix bench #4548

Triggered via push January 9, 2025 13:03
@SkySkimmerSkySkimmer
pushed 606e423
coqprofreader
Status Success
Total duration 28m 22s
Artifacts –

ci-macos.yml

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