Nix CI for bundle 8.18+2.0

Merge pull request #58 from coq-community/mc_1223 #9

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	31s
fourcolor	37s
mathcomp-finmap	32s
graph-theory	32s
	2m 12s