Nix CI for bundle coq-8.18

[CI] Add test-suite #303

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	33s
hierarchy-builder-test	1m 15s
hierarchy-builder	33s
mathcomp-single	9m 1s
mathcomp-ssreflect	5m 42s
QuickChick	38s
coquelicot	40s
deriving	1m 42s
mathcomp-bigenough	42s
autosubst	35s
Verdi	39s
mathcomp-fingroup	1m 52s
mathcomp-finmap	1m 28s
reglang	1m 39s
async-test	1m 20s
mathcomp-algebra	4m 49s
interval	2m 29s
http	1m 35s
fourcolor	16m 8s
coq-bits	4m 39s
mathcomp-classical	7m 54s
mathcomp-solvable	6m 9s
multinomials	5m 44s
addition-chains	5m 29s
mathcomp-field	3m 51s
mathcomp-character	2m 43s
mathcomp-analysis	6h 0m 13s
mathcomp-real-closed	2m 29s
mathcomp	37s
coqeal	3m 26s
odd-order	13m 29s
	7h 50m 3s