Nix CI for bundle coq-8.19

improve HB.instance #42

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	33s
mathcomp-single	32s
hierarchy-builder	37s
mathcomp-ssreflect	37s
coquelicot	1m 52s
deriving	40s
mathcomp-bigenough	36s
mathcomp-fingroup	34s
mathcomp-finmap	34s
QuickChick	1m 46s
reglang	38s
mathcomp-algebra	36s
interval	2m 35s
mathcomp-classical	3m 51s
coq-bits	34s
mathcomp-solvable	2m 43s
fourcolor	13m 37s
multinomials	2m 4s
vcfloat	2m 4s
mathcomp-field	39s
mathcomp-character	35s
mathcomp-analysis	11m 47s
mathcomp-real-closed	35s
mathcomp	37s
coqeal	43s
odd-order	12m 25s
	1h 4m 24s