Nix CI for bundle coq-8.20

Merge pull request #711 from LPCIC/fix-libobject #96

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	56s
coq-elpi	1m 0s
hierarchy-builder	1m 0s
mathcomp-ssreflect	55s
autosubst	1m 0s
mathcomp-bigenough	57s
mathcomp-fingroup	56s
coquelicot	56s
mathcomp-finmap	59s
QuickChick	55s
interval	3m 31s
mathcomp-algebra	56s
mathcomp-classical	1m 2s
multinomials	59s
mathcomp-solvable	1m 0s
mathcomp-field	55s
mathcomp-real-closed	57s
mathcomp-analysis	2m 55s
mathcomp-character	56s
mathcomp	59s
coqeal	4m 12s
odd-order	12m 16s
	40m 12s