Nix CI for bundle coq-master

Test CI #23

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	1m 4s
serapi	1m 3s
dpdgraph	1m 6s
stdlib	4m 24s
paramcoq	1m 4s
vst	1m 5s
coq-lsp	0s
bignums	2m 2s
InfSeqExt	1m 46s
aac-tactics	1m 51s
ceres	1m 47s
coq-elpi	2m 14s
StructTact	1m 47s
coqhammer	1m 46s
equations	1m 51s
coq-ext-lib	1m 54s
flocq	2m 54s
itauto	3m 2s
paco	1m 52s
smtcoq	1m 46s
stdpp	2m 47s
tlc	2m 7s
Cheerios	1m 53s
metacoq-template-coq	3m 51s
simple-io	1m 50s
parsec	1m 53s
coqprime	2m 40s
math-classes	2m 37s
trakt	2m 22s
hierarchy-builder	2m 20s
iris	4m 49s
compcert	5m 38s
mathcomp-ssreflect	4m 6s
corn	9m 2s
metacoq-pcuic	0s
metacoq-safechecker	0s
metacoq-erasure	0s
metacoq	0s
Verdi	2m 40s
QuickChick	2m 3s
coquelicot	2m 21s
category-theory	8m 0s
deriving	2m 19s
mathcomp-bigenough	1m 52s
mathcomp-fingroup	2m 40s
autosubst	1m 51s
mathcomp-finmap	2m 9s
relation-algebra	3m 1s
mathcomp-algebra	4m 41s
mathcomp-classical	3m 37s
fourcolor	13m 55s
mathcomp-solvable	3m 40s
mathcomp-word	2m 20s
mathcomp-zify	2m 23s
mathcomp-field	7m 32s
mathcomp-analysis	11m 41s
mathcomp-character	3m 48s
mathcomp	2m 57s
odd-order	11m 4s
	3h 0m 47s