Skip to content
GitHub macOS CI

Fix bench #4552

Sign in to view logs

Fix bench

Fix bench #4552

Triggered via push January 9, 2025 13:52
@SkySkimmerSkySkimmer
pushed 41cc65d
coqprofreader
Status Success
Total duration 20m 28s
Artifacts –

ci-macos.yml

on: push
macOS
20m 21s
macOS
Fit to window
Zoom out
Zoom in