Nix CI for bundle coq-8.19

make copy-pack-holes failsafe #82

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	32s
hierarchy-builder	1m 20s
mathcomp-single	38s
mathcomp-ssreflect	6m 27s
QuickChick	1m 45s
deriving	1m 43s
mathcomp-bigenough	1m 12s
mathcomp-fingroup	1m 56s
coquelicot	1m 42s
mathcomp-finmap	1m 30s
reglang	1m 42s
mathcomp-algebra	5m 10s
interval	3m 38s
vcfloat	3m 19s
coq-bits	1m 24s
fourcolor	13m 35s
mathcomp-solvable	2m 52s
mathcomp-classical	3m 57s
multinomials	2m 29s
mathcomp-field	5m 21s
mathcomp-character	5m 23s
mathcomp-analysis	14m 27s
mathcomp-real-closed	5m 2s
coqeal	3m 29s
mathcomp	2m 56s
odd-order	12m 28s
	1h 45m 57s