Nix CI for bundle coq-8.18

[CI] Add test-suite #307

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	36s
hierarchy-builder	1m 20s
mathcomp-single	9m 15s
mathcomp-ssreflect	6m 0s
coquelicot	6m 13s
mathcomp-bigenough	5m 39s
autosubst	5m 58s
deriving	6m 16s
QuickChick	6m 24s
Verdi	6m 8s
mathcomp-fingroup	6m 41s
mathcomp-finmap	5m 58s
reglang	6m 9s
async-test	1m 21s
interval	2m 41s
mathcomp-algebra	4m 51s
http	1m 30s
fourcolor	13m 12s
addition-chains	2m 0s
mathcomp-classical	36s
mathcomp-solvable	2m 46s
coq-bits	1m 25s
multinomials	2m 10s
mathcomp-field	3m 58s
mathcomp-real-closed	2m 43s
mathcomp-character	2m 48s
mathcomp-analysis	35s
coqeal	4m 34s
mathcomp	2m 56s
odd-order	13m 34s
	2h 16m 17s