Nix CI for bundle coq-8.19

improve HB.instance #40

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	37s
mathcomp-single	36s
hierarchy-builder	1m 21s
mathcomp-ssreflect	5m 32s
mathcomp-fingroup	6m 21s
deriving	6m 31s
mathcomp-finmap	5m 52s
mathcomp-bigenough	5m 38s
reglang	5m 57s
mathcomp-algebra	4m 43s
coq-bits	1m 26s
fourcolor	13m 30s
multinomials	2m 15s
mathcomp-solvable	2m 42s
mathcomp-field	36s
mathcomp-character	40s
mathcomp-real-closed	42s
mathcomp	39s
coqeal	37s
odd-order	12m 32s
	1h 18m 47s