Nix CI for bundle coq-master

Generalized coercions #273

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	39s
mathcomp-single	32s
paramcoq	35s
bignums	34s
coq-elpi	40s
hierarchy-builder	1m 15s
mathcomp-ssreflect	7m 25s
deriving	1m 22s
mathcomp-bigenough	1m 5s
mathcomp-finmap	1m 48s
mathcomp-fingroup	2m 47s
reglang	1m 55s
mathcomp-algebra	6m 14s
coq-bits	1m 34s
fourcolor	21m 20s
multinomials	3m 45s
mathcomp-classical	30s
mathcomp-solvable	6m 9s
mathcomp-field	11m 55s
mathcomp-analysis	30s
mathcomp-real-closed	4m 21s
mathcomp-character	4m 42s
coqeal	2m 28s
mathcomp	4m 53s
odd-order	34m 26s
	2h 3m 24s