Nix CI for bundle coq-8.18

[CI] Add test-suite #310

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	34s
hierarchy-builder	42s
hierarchy-builder-test	1m 23s
mathcomp-ssreflect	5m 49s
mathcomp-single	9m 12s
QuickChick	6m 14s
Verdi	6m 9s
autosubst	5m 52s
deriving	6m 32s
coquelicot	6m 14s
mathcomp-bigenough	5m 33s
mathcomp-fingroup	6m 14s
mathcomp-finmap	5m 51s
reglang	3m 30s
async-test	35s
interval	2m 31s
mathcomp-algebra	4m 35s
http	1m 32s
addition-chains	5m 15s
fourcolor	16m 12s
coq-bits	4m 45s
multinomials	5m 36s
mathcomp-solvable	6m 13s
mathcomp-field	3m 52s
mathcomp-real-closed	38s
mathcomp-character	36s
mathcomp	1m 39s
coqeal	3m 41s
odd-order	13m 41s
	2h 21m 10s