Nix CI for bundle coq-master

Generalized coercions #228

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
mathcomp-single	33s
coq	4m 10s
paramcoq	1m 13s
bignums	1m 24s
coq-elpi	6m 58s
hierarchy-builder	1m 19s
mathcomp-ssreflect	7m 40s
mathcomp-fingroup	2m 55s
mathcomp-bigenough	1m 5s
deriving	1m 21s
mathcomp-finmap	1m 44s
reglang	2m 4s
mathcomp-algebra	6m 18s
mathcomp-solvable	6m 18s
fourcolor	20m 52s
coq-bits	1m 40s
multinomials	3m 16s
mathcomp-field	6m 50s
mathcomp-real-closed	4m 15s
mathcomp-character	4m 43s
coqeal	2m 30s
mathcomp	1m 30s
odd-order	34m 48s
	2h 5m 26s