Nix CI for bundle coq-master

Merge pull request #675 from LPCIC/gares-patch-1 #212

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq-elpi	1m 35s
hierarchy-builder	1m 23s
mathcomp-ssreflect	3m 55s
coquelicot	1m 42s
mathcomp-bigenough	1m 10s
mathcomp-finmap	1m 21s
mathcomp-fingroup	1m 53s
QuickChick	40s
interval	2m 31s
mathcomp-algebra	3m 58s
vcfloat	2m 3s
mathcomp-solvable	2m 47s
mathcomp-classical	3m 4s
mathcomp-field	3m 26s
mathcomp-analysis	10m 14s
mathcomp-character	2m 44s
mathcomp	1m 34s
odd-order	12m 22s
	58m 22s