Nix CI for bundle coq-master

Elpi Compile to fill the cache #284

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	56s
coq-elpi	1m 57s
hierarchy-builder	2m 13s
mathcomp-ssreflect	3m 46s
mathcomp-finmap	1m 53s
mathcomp-bigenough	1m 40s
mathcomp-fingroup	2m 16s
mathcomp-algebra	3m 55s
mathcomp-solvable	5m 5s
multinomials	4m 39s
mathcomp-classical	4m 41s
mathcomp-field	5m 0s
mathcomp-analysis	10m 2s
mathcomp-character	3m 29s
mathcomp-real-closed	3m 21s
coqeal	54s
mathcomp	2m 42s
odd-order	10m 59s
	1h 9m 28s