Nix CI for bundle coq-master

WIP #66

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	1m 3s
smtcoq-trakt	5m 7s
coq-hammer	1m 5s
unicoq	1m 1s
dpdgraph	1m 6s
paramcoq	1m 3s
coq-lsp	1m 20s
stdlib	3m 54s
serapi	1m 21s
bbv	1m 53s
atbr	2m 45s
argosy	2m 12s
aac-tactics	1m 48s
bignums	2m 8s
ceres	1m 46s
coinduction	1m 49s
coq-elpi	1m 19s
coq-ext-lib	2m 2s
coq-tools	1m 47s
coq-performance-tests	16m 12s
coqutil	2m 16s
cross-crypto	6m 34s
engine-bench	5m 47s
equations	1m 54s
flocq	2m 54s
InfSeqExt	1m 41s
itauto	3m 11s
kami	4m 37s
menhir	2m 15s
neural-net-coq-interp	2m 21s
paco	1m 56s
perennial	1m 12s
rewriter	6m 50s
sf	3m 27s
smtcoq	2m 21s
stalmarck	1m 56s
StructTact	1m 47s
stdpp	2m 45s
tlc	2m 7s
waterproof	2m 12s
trakt	1m 19s
hierarchy-builder	2m 20s
metacoq-template-coq	3m 49s
simple-io	1m 48s
parsec	1m 57s
coqprime	3m 8s
math-classes	2m 55s
CoLoR	7m 10s
riscvcoq	6m 59s
vst	16m 33s
compcert	5m 40s
ITree	3m 28s
Cheerios	1m 57s
stalmarck-tactic	2m 7s
iris	5m 45s
mathcomp-ssreflect	4m 28s
json	2m 34s
corn	8m 6s
metacoq-pcuic	0s
metacoq-safechecker	0s
metacoq-erasure	0s
metacoq	0s
itree-io	3m 27s
autosubst	2m 15s
Verdi	3m 2s
coquelicot	2m 41s
category-theory	7m 44s
deriving	2m 44s
QuickChick	2m 44s
mathcomp-bigenough	2m 22s
mathcomp-fingroup	3m 5s
mathcomp-finmap	2m 36s
relation-algebra	3m 18s
bedrock2	19m 18s
iris-examples	6m 15s
async-test	2m 57s
VerdiRaft	7m 15s
mathcomp-algebra	4m 49s
http	3m 13s
mathcomp-classical	3m 57s
mathcomp-solvable	4m 13s
fourcolor	14m 35s
mathcomp-word	3m 2s
mathcomp-zify	3m 3s
jasmin	8m 46s
mathcomp-field	5m 1s
mathcomp-analysis	13m 39s
mathcomp-character	6m 32s
rupicola	0s
mathcomp	5m 1s
odd-order	12m 4s
	5h 54m 25s