Skip to content
Build and profile and CoqDoc

example: count to 10 #329

Sign in to view logs

example: count to 10

example: count to 10 #329

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
5m 27s
deploy
0s
5m 27s