Nix CI for bundle coq-8.20

Merge pull request #712 from proux01/ci-update #108

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	54s
coq-elpi	57s
hierarchy-builder	54s
mathcomp-ssreflect	52s
mathcomp-fingroup	51s
mathcomp-bigenough	59s
autosubst	1m 56s
coquelicot	52s
mathcomp-finmap	55s
QuickChick	54s
relation-algebra	2m 52s
interval	3m 30s
mathcomp-algebra	57s
mathcomp-classical	58s
multinomials	56s
mathcomp-solvable	54s
mathcomp-field	54s
mathcomp-reals	1m 0s
mathcomp-character	56s
mathcomp-real-closed	55s
mathcomp-reals-stdlib	2m 0s
mathcomp-altreals	2m 34s
mathcomp-analysis	1m 0s
coqeal	4m 8s
mathcomp	59s
odd-order	11m 50s
mathcomp-analysis-stdlib	2m 18s
	48m 45s