Nix CI for bundle coq-8.20

[CI] Add test-suite #21

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	38s
hierarchy-builder	1m 17s
mathcomp-single	8m 21s
mathcomp-ssreflect	4m 23s
autosubst	1m 12s
deriving	1m 45s
mathcomp-bigenough	1m 18s
mathcomp-fingroup	1m 50s
coquelicot	1m 40s
mathcomp-finmap	1m 25s
reglang	1m 43s
interval	2m 45s
mathcomp-algebra	3m 50s
mathcomp-classical	5m 52s
fourcolor	15m 39s
coq-bits	3m 47s
mathcomp-solvable	5m 14s
multinomials	4m 36s
mathcomp-field	3m 30s
mathcomp-real-closed	4m 52s
mathcomp-analysis	13m 55s
mathcomp-character	5m 9s
coqeal	4m 36s
mathcomp	2m 55s
odd-order	11m 22s
	1h 53m 34s