Nix CI for bundle 8.16+2.0

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	42s
fourcolor	13m 27s
mathcomp-finmap	1m 3s
graph-theory	17m 46s
	32m 58s