Nix CI for bundle coq-master

Generalized coercions #225

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	35s
mathcomp-single	32s
bignums	41s
coq-elpi	36s
paramcoq	34s
hierarchy-builder	1m 9s
mathcomp-ssreflect	7m 47s
deriving	1m 18s
mathcomp-fingroup	2m 39s
mathcomp-bigenough	36s
mathcomp-finmap	35s
reglang	35s
mathcomp-algebra	6m 26s
coq-bits	38s
multinomials	3m 6s
mathcomp-solvable	6m 23s
fourcolor	22m 14s
mathcomp-field	7m 6s
mathcomp-real-closed	4m 17s
mathcomp-character	4m 44s
coqeal	2m 35s
mathcomp	39s
odd-order	33m 10s
	1h 48m 55s