Nix CI for bundle coq-master

WIP #64

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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