Skip to content

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

Fix bench on old commits with no rocq-runtime

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

Triggered via push December 9, 2024 13:06
Status Failure
Total duration 2m 29s
Artifacts

ci-macos.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

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