Nix CI for bundle coq-8.19

Merge pull request #683 from mattam82/typeclasses-default-mode #509

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	34s
coq-elpi	37s
hierarchy-builder	38s
mathcomp-ssreflect	55s
coquelicot	56s
mathcomp-bigenough	46s
mathcomp-fingroup	37s
mathcomp-finmap	50s
QuickChick	39s
mathcomp-algebra	41s
interval	46s
mathcomp-solvable	37s
mathcomp-classical	39s
vcfloat	38s
mathcomp-field	42s
mathcomp-analysis	44s
mathcomp-character	40s
mathcomp	44s
odd-order	11m 48s
	24m 31s