Skip to content
GitHub macOS CI

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

Sign in to view logs

Fix bench on old commits with no rocq-runtime

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
macOS
11m 36s
11m 36s