Nix CI for bundle coq-master

Generalized coercions #276

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
mathcomp-single	34s
coq	1m 2s
coq-elpi	42s
paramcoq	41s
bignums	36s
hierarchy-builder	1m 13s
mathcomp-ssreflect	6m 50s
deriving	6m 56s
mathcomp-fingroup	8m 37s
mathcomp-bigenough	6m 47s
mathcomp-finmap	7m 21s
reglang	7m 46s
mathcomp-algebra	5m 50s
mathcomp-classical	8m 34s
mathcomp-solvable	10m 42s
coq-bits	6m 24s
fourcolor	27m 13s
multinomials	7m 47s
mathcomp-field	11m 54s
mathcomp-analysis	39m 14s
mathcomp-real-closed	4m 17s
mathcomp-character	4m 46s
coqeal	2m 34s
mathcomp	1m 40s
odd-order	35m 15s
	3h 35m 15s