Skip to content
Docker CI

link to generated documentation in README.md #14

Sign in to view logs

link to generated documentation in README.md

link to generated documentation in README.md #14

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (coqorg/coq:8.18)
1m 52s
build (coqorg/coq:8.17)
1m 50s
build (coqorg/coq:8.16)
1m 58s
5m 40s