Nix CI for bundle coq-8.18

[CI] Add test-suite #308

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	35s
hierarchy-builder	1m 16s
hierarchy-builder-test	1m 19s
mathcomp-ssreflect	6m 13s
mathcomp-single	9m 18s
autosubst	5m 49s
deriving	6m 17s
coquelicot	6m 5s
mathcomp-bigenough	5m 44s
QuickChick	6m 26s
Verdi	6m 23s
mathcomp-fingroup	6m 22s
mathcomp-finmap	5m 53s
reglang	1m 42s
interval	2m 31s
mathcomp-algebra	4m 38s
async-test	37s
http	37s
addition-chains	2m 5s
coq-bits	1m 20s
fourcolor	13m 2s
mathcomp-solvable	2m 47s
multinomials	2m 9s
mathcomp-field	3m 48s
mathcomp-character	2m 41s
mathcomp-real-closed	2m 41s
mathcomp	2m 56s
coqeal	4m 47s
odd-order	13m 21s
	2h 9m 22s