Nix CI for bundle coq-master

Merge pull request #433 from math-comp/gares-patch-1 #278

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	36s
mathcomp-single	37s
coq-elpi	37s
bignums	39s
paramcoq	41s
hierarchy-builder	42s
mathcomp-ssreflect	41s
mathcomp-bigenough	36s
deriving	1m 38s
mathcomp-finmap	36s
mathcomp-fingroup	37s
reglang	1m 31s
mathcomp-algebra	41s
mathcomp-solvable	37s
fourcolor	41s
coq-bits	1m 17s
mathcomp-classical	38s
multinomials	38s
mathcomp-field	37s
mathcomp-real-closed	42s
mathcomp-character	38s
mathcomp-analysis	9m 54s
mathcomp	39s
coqeal	44s
odd-order	9m 44s
	37m 1s