Nix CI for bundle coq-master

improve HB.instance #231

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	37s
mathcomp-single	32s
bignums	35s
coq-elpi	2m 23s
paramcoq	34s
hierarchy-builder	1m 9s
mathcomp-ssreflect	4m 57s
deriving	1m 39s
mathcomp-finmap	1m 17s
mathcomp-fingroup	1m 38s
mathcomp-bigenough	1m 2s
reglang	1m 35s
mathcomp-algebra	3m 56s
mathcomp-solvable	2m 49s
coq-bits	1m 16s
multinomials	2m 9s
fourcolor	13m 11s
mathcomp-field	3m 36s
mathcomp-real-closed	2m 38s
mathcomp-character	2m 39s
coqeal	3m 5s
mathcomp	1m 29s
odd-order	10m 52s
	1h 5m 38s