Nix CI for bundle coq-master

Generalized coercions #274

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	39s
mathcomp-single	37s
paramcoq	35s
bignums	42s
coq-elpi	39s
hierarchy-builder	1m 10s
mathcomp-ssreflect	6m 43s
mathcomp-finmap	1m 42s
deriving	1m 14s
mathcomp-fingroup	2m 51s
mathcomp-bigenough	1m 4s
reglang	2m 4s
mathcomp-algebra	5m 49s
coq-bits	6m 9s
mathcomp-classical	8m 17s
mathcomp-solvable	10m 49s
multinomials	7m 25s
fourcolor	25m 17s
mathcomp-field	11m 55s
mathcomp-real-closed	4m 13s
mathcomp-character	4m 51s
mathcomp-analysis	36m 45s
coqeal	5m 22s
mathcomp	1m 36s
odd-order	35m 7s
	3h 3m 35s