Nix CI for bundle 8.17+2.0

Merge pull request #61 from coq-community/ci-weekly #29

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	34s
mathcomp-finmap	32s
fourcolor	38s
graph-theory	34s
	2m 18s