Nix CI for bundle coq-8.20

[CI] Add test-suite #17

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	39s
hierarchy-builder	35s
mathcomp-single	38s
mathcomp-ssreflect	40s
mathcomp-bigenough	41s
deriving	1m 44s
coquelicot	41s
autosubst	35s
mathcomp-fingroup	38s
mathcomp-finmap	39s
reglang	1m 38s
mathcomp-algebra	41s
interval	2m 35s
mathcomp-classical	3m 18s
mathcomp-solvable	34s
coq-bits	35s
multinomials	36s
fourcolor	13m 21s
mathcomp-field	41s
mathcomp-real-closed	36s
mathcomp-character	37s
coqeal	3m 19s
mathcomp	38s
mathcomp-analysis	13m 36s
odd-order	11m 17s
	1h 1m 32s