Skip to content
GitHub macOS CI

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

Sign in to view logs

Fix bench on old commits with no rocq-runtime

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
macOS
2m 19s
2m 19s