Nix CI for bundle coq-8.18

ci: re-enable nix #3

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq-elpi	3m 12s
coq-elpi	3m 12s
hierarchy-builder	1m 42s
hierarchy-builder	1m 42s
trakt	1m 23s
trakt	1m 23s
mathcomp-ssreflect	4m 34s
mathcomp-ssreflect	4m 34s
deriving	1m 32s
deriving	1m 32s
Verdi	4m 18s
Verdi	4m 18s
autosubst	1m 35s
autosubst	1m 35s
coquelicot	2m 7s
coquelicot	2m 7s
mathcomp-bigenough	1m 37s
mathcomp-bigenough	1m 37s
mathcomp-fingroup	3m 43s
mathcomp-fingroup	3m 43s
reglang	1m 35s
reglang	1m 35s
mathcomp-algebra	7m 51s
mathcomp-algebra	7m 51s
addition-chains	35s
addition-chains	35s
mathcomp-solvable	3m 57s
mathcomp-solvable	3m 57s
mathcomp-classical	39s
mathcomp-classical	32s
mathcomp-field	6m 0s
mathcomp-field	6m 0s
mathcomp-character	3m 11s
mathcomp-character	3m 11s
mathcomp-analysis	0s
mathcomp-analysis	0s
mathcomp	38s
mathcomp	38s
odd-order	15m 29s
odd-order	15m 29s
	2h 11m 9s