Nix CI for bundle coq-master

Generalized coercions #229

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	4m 15s
mathcomp-single	33s
paramcoq	1m 4s
bignums	1m 23s
coq-elpi	2m 34s
hierarchy-builder	1m 13s
mathcomp-ssreflect	7m 35s
mathcomp-bigenough	1m 7s
deriving	1m 15s
mathcomp-fingroup	2m 54s
reglang	2m 8s
mathcomp-finmap	1m 50s
mathcomp-algebra	6m 16s
coq-bits	22m 31s
fourcolor	39m 5s
multinomials	21m 39s
mathcomp-solvable	24m 11s
mathcomp-field	7m 4s
mathcomp-real-closed	4m 31s
mathcomp-character	4m 37s
coqeal	3m 0s
mathcomp	1m 44s
odd-order	34m 21s
	3h 16m 50s