Nix CI for bundle 8.18+2.0

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	1m 9s
fourcolor	13m 33s
mathcomp-finmap	1m 25s
graph-theory	4m 49s
	20m 56s