Nix CI for bundle coq-8.18

Merge pull request #539 from LPCIC/fix-nix2 #14

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	31s
coq-elpi	3m 33s
hierarchy-builder	1m 9s
trakt	1m 36s
mathcomp-ssreflect	5m 36s
deriving	1m 21s
coquelicot	2m 11s
Verdi	2m 27s
autosubst	1m 34s
mathcomp-fingroup	2m 47s
mathcomp-bigenough	1m 4s
mathcomp-finmap	1m 17s
reglang	1m 11s
mathcomp-algebra	6m 14s
mathcomp-classical	5m 11s
addition-chains	2m 23s
mathcomp-solvable	2m 42s
mathcomp-field	3m 53s
mathcomp-analysis	10m 31s
mathcomp-character	2m 27s
mathcomp	1m 27s
odd-order	10m 47s
	1h 11m 52s