Skip to content
GitHub macOS CI

Fix bench #4549

Sign in to view logs

Fix bench

Fix bench #4549

Triggered via push January 9, 2025 13:05
@SkySkimmerSkySkimmer
pushed 9a945f3
coqprofreader
Status Success
Total duration 21m 53s
Artifacts –

ci-macos.yml

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