Skip to content
GitHub macOS CI

Fix bench on old commits with no rocq-runtime #4354

Sign in to view logs

Fix bench on old commits with no rocq-runtime

Fix bench on old commits with no rocq-runtime #4354

Triggered via push December 6, 2024 14:30
@SkySkimmerSkySkimmer
pushed 0480bbb
rocq-cli
Status Failure
Total duration 1m 18s
Artifacts –

ci-macos.yml

on: push
macOS
1m 7s
macOS
Fit to window
Zoom out
Zoom in

Annotations

2 errors
macOS
The `brew link` step did not complete successfully
macOS
Process completed with exit code 1.