Nix CI for bundle coq-8.18

ci: re-enable nix #5

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq-elpi	3m 4s
hierarchy-builder	1m 54s
trakt	1m 36s
mathcomp-ssreflect	4m 20s
coquelicot	1m 59s
autosubst	1m 40s
mathcomp-bigenough	1m 25s
deriving	1m 36s
mathcomp-fingroup	2m 18s
reglang	1m 37s
Verdi	2m 13s
mathcomp-algebra	8m 18s
addition-chains	2m 25s
mathcomp-classical	36s
mathcomp-solvable	3m 37s
mathcomp-field	5m 41s
mathcomp-character	3m 54s
mathcomp-analysis	0s
mathcomp	1m 57s
odd-order	17m 14s
	1h 7m 24s