Nix CI for bundle coq-master

Generalized coercions #227

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	45s
mathcomp-single	32s
bignums	37s
paramcoq	33s
coq-elpi	37s
hierarchy-builder	1m 10s
mathcomp-ssreflect	7m 52s
mathcomp-fingroup	2m 44s
mathcomp-bigenough	1m 9s
deriving	1m 18s
reglang	1m 58s
mathcomp-finmap	1m 44s
mathcomp-algebra	6m 45s
mathcomp-solvable	24m 12s
multinomials	22m 9s
fourcolor	39m 8s
coq-bits	21m 25s
mathcomp-field	29m 51s
mathcomp-real-closed	4m 28s
mathcomp-character	4m 46s
coqeal	5m 34s
mathcomp	1m 31s
odd-order	34m 30s
	3h 35m 18s