Nix CI for bundle coq-8.20

fix cat #14

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	38s
hierarchy-builder	1m 16s
mathcomp-single	8m 10s
mathcomp-ssreflect	4m 3s
autosubst	4m 11s
deriving	4m 50s
coquelicot	4m 45s
mathcomp-bigenough	4m 7s
mathcomp-fingroup	4m 44s
mathcomp-finmap	4m 20s
reglang	4m 41s
mathcomp-algebra	3m 44s
interval	2m 35s
coq-bits	3m 55s
mathcomp-classical	6m 9s
fourcolor	16m 3s
mathcomp-solvable	5m 20s
multinomials	4m 54s
mathcomp-field	5m 10s
mathcomp-real-closed	2m 41s
mathcomp-character	2m 48s
mathcomp-analysis	11m 25s
coqeal	4m 41s
mathcomp	1m 34s
odd-order	11m 34s
	2h 8m 18s