Nix CI for bundle coq-8.18

[CI] Add test-suite #306

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	36s
hierarchy-builder-test	1m 16s
hierarchy-builder	1m 15s
mathcomp-single	9m 29s
mathcomp-ssreflect	5m 58s
Verdi	6m 20s
QuickChick	6m 23s
coquelicot	6m 16s
deriving	6m 18s
autosubst	5m 45s
mathcomp-fingroup	6m 20s
mathcomp-bigenough	5m 42s
mathcomp-finmap	5m 44s
reglang	6m 4s
async-test	1m 21s
mathcomp-algebra	5m 13s
interval	3m 25s
http	1m 35s
mathcomp-classical	7m 45s
coq-bits	4m 46s
fourcolor	16m 35s
addition-chains	5m 33s
mathcomp-solvable	6m 20s
multinomials	5m 32s
mathcomp-field	3m 50s
mathcomp-character	5m 14s
mathcomp-real-closed	5m 22s
mathcomp-analysis	6h 0m 14s
mathcomp	1m 32s
coqeal	5m 24s
odd-order	13m 18s
	8h 46m 25s