Skip to content
Rocq

Fix #56: Use arm runner #15

Sign in to view logs

Fix #56: Use arm runner

Fix #56: Use arm runner #15

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (5.2.0)
21m 27s
21m 27s