Back to pull request #679

update nix and CI + fix bug not testing Coq master #220

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq-elpi	1m 39s
hierarchy-builder	1m 19s
mathcomp-ssreflect	3m 11s
QuickChick	38s
coquelicot	39s
mathcomp-fingroup	3m 36s
mathcomp-bigenough	39s
mathcomp-finmap	3m 16s
interval	34s
mathcomp-algebra	3m 3s
vcfloat	34s
mathcomp-solvable	2m 30s
mathcomp-classical	2m 29s
mathcomp-field	2m 56s
mathcomp-analysis	41s
mathcomp-character	2m 32s
mathcomp	2m 37s
odd-order	9m 33s
	42m 26s