Nix CI for bundle coq-master

improve HB.instance #237

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	37s
mathcomp-single	37s
coq-elpi	39s
bignums	1m 17s
paramcoq	56s
hierarchy-builder	35s
mathcomp-ssreflect	35s
mathcomp-finmap	41s
deriving	42s
mathcomp-fingroup	43s
reglang	41s
mathcomp-bigenough	41s
mathcomp-algebra	42s
mathcomp-classical	2m 46s
fourcolor	13m 12s
mathcomp-solvable	40s
coq-bits	1m 19s
multinomials	2m 2s
mathcomp-field	36s
mathcomp-character	42s
mathcomp-real-closed	37s
mathcomp-analysis	10m 30s
mathcomp	38s
coqeal	39s
odd-order	10m 59s
	54m 6s