Nix CI for bundle coq-8.18

ci: re-enable nix #6

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq-elpi	4m 16s
trakt	1m 29s
hierarchy-builder	1m 55s
mathcomp-ssreflect	4m 18s
autosubst	1m 27s
Verdi	2m 10s
coquelicot	2m 13s
deriving	1m 35s
mathcomp-bigenough	1m 24s
mathcomp-fingroup	2m 47s
reglang	2m 3s
mathcomp-algebra	8m 50s
addition-chains	2m 35s
mathcomp-solvable	4m 19s
mathcomp-classical	38s
mathcomp-field	5m 40s
mathcomp-character	3m 13s
mathcomp-analysis	0s
mathcomp	1m 44s
odd-order	15m 41s
	1h 8m 17s