Nix CI for bundle coq-8.18

[CI] Add test-suite #305

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	42s
hierarchy-builder	1m 19s
mathcomp-ssreflect	5m 59s
mathcomp-single	9m 0s
QuickChick	6m 30s
coquelicot	6m 13s
autosubst	5m 44s
Verdi	6m 15s
deriving	6m 27s
mathcomp-bigenough	5m 54s
mathcomp-fingroup	6m 33s
mathcomp-finmap	6m 6s
reglang	6m 14s
async-test	1m 21s
interval	2m 35s
mathcomp-algebra	4m 51s
http	1m 28s
addition-chains	1m 59s
coq-bits	1m 25s
fourcolor	13m 9s
mathcomp-classical	4m 14s
mathcomp-solvable	2m 42s
multinomials	2m 12s
mathcomp-field	5m 57s
mathcomp-character	2m 50s
mathcomp-analysis	6h 0m 10s
mathcomp-real-closed	2m 38s
mathcomp	1m 49s
coqeal	5m 23s
odd-order	13m 29s
	8h 21m 8s