Skip to content
Nix CI for bundle 8.16+2.0

modify meta.yml and generate README.md for new building instructions #34

Sign in to view logs

modify meta.yml and generate README.md for new building instructions

modify meta.yml and generate README.md for new building instructions #34

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
38s
mathcomp-finmap
39s
fourcolor
40s
graph-theory
35s
2m 32s