Nix CI for bundle coq-8.20

Merge pull request #702 from SkySkimmer/keep-force #75

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	52s
coq-elpi	59s
hierarchy-builder	55s
mathcomp-ssreflect	55s
coquelicot	59s
autosubst	1m 55s
mathcomp-bigenough	56s
mathcomp-fingroup	54s
mathcomp-finmap	55s
QuickChick	2m 31s
mathcomp-algebra	54s
interval	3m 35s
mathcomp-classical	52s
mathcomp-solvable	56s
multinomials	55s
mathcomp-field	2m 33s
mathcomp-analysis	11m 23s
mathcomp-real-closed	1m 3s
mathcomp-character	59s
mathcomp	56s
coqeal	1m 1s
odd-order	12m 11s
	49m 9s