Nix CI for bundle coq-8.18

make copy-pack-holes failsafe #278

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	36s
hierarchy-builder	1m 47s
mathcomp-single	40s
mathcomp-ssreflect	5m 46s
autosubst	6m 5s
QuickChick	6m 24s
coquelicot	6m 28s
deriving	6m 38s
Verdi	6m 39s
mathcomp-bigenough	5m 51s
mathcomp-fingroup	6m 26s
mathcomp-finmap	6m 3s
reglang	6m 31s
mathcomp-algebra	4m 46s
interval	2m 31s
coq-bits	1m 28s
fourcolor	13m 16s
addition-chains	1m 59s
mathcomp-classical	3m 52s
mathcomp-solvable	2m 46s
multinomials	2m 13s
mathcomp-field	3m 51s
mathcomp-analysis	15m 41s
mathcomp-character	2m 44s
mathcomp-real-closed	2m 35s
coqeal	4m 19s
mathcomp	1m 35s
odd-order	13m 3s
	2h 22m 33s