Nix CI for bundle coq-8.20

Merge pull request #457 from proux01/ci-update #32

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	39s
hierarchy-builder	34s
mathcomp-single	35s
mathcomp-ssreflect	36s
coquelicot	37s
QuickChick	1m 41s
mathcomp-fingroup	35s
mathcomp-bigenough	39s
deriving	1m 45s
autosubst	37s
mathcomp-finmap	37s
relation-algebra	2m 11s
reglang	1m 44s
mathcomp-algebra	39s
interval	2m 30s
fourcolor	13m 18s
coq-bits	36s
mathcomp-solvable	36s
mathcomp-classical	40s
multinomials	35s
mathcomp-field	36s
mathcomp-reals	37s
mathcomp-character	36s
mathcomp-real-closed	43s
mathcomp-altreals	1m 53s
mathcomp-reals-stdlib	1m 24s
mathcomp-analysis	11m 15s
mathcomp	43s
coqeal	3m 17s
odd-order	42s
mathcomp-analysis-stdlib	11m 52s
	1h 5m 22s