Nix CI for bundle coq-master

make copy-pack-holes failsafe #277

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
mathcomp-single	34s
coq	4m 21s
paramcoq	1m 5s
coq-elpi	2m 38s
bignums	1m 29s
hierarchy-builder	2m 43s
mathcomp-ssreflect	4m 30s
mathcomp-bigenough	1m 7s
deriving	1m 45s
mathcomp-finmap	1m 18s
mathcomp-fingroup	1m 41s
reglang	1m 32s
mathcomp-algebra	3m 27s
mathcomp-classical	2m 53s
fourcolor	13m 35s
coq-bits	1m 18s
mathcomp-solvable	2m 36s
multinomials	2m 9s
mathcomp-field	3m 19s
mathcomp-analysis	11m 35s
mathcomp-real-closed	2m 32s
mathcomp-character	2m 33s
coqeal	4m 37s
mathcomp	2m 45s
odd-order	9m 48s
	1h 27m 50s