Nix CI for bundle 8.16+2.0

Another way to adapt to math-comp#1300 #37

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	36s
fourcolor	14m 16s
mathcomp-finmap	1m 30s
graph-theory	5m 27s
	21m 49s