Skip to content
Nix CI for bundle rocq-master

dune generate unsorted All.v #570

Sign in to view logs

dune generate unsorted All.v

dune generate unsorted All.v #570

Run time

Learn about OS pricing on GitHub Actions
Job Run time
rocq-core
3m 8s
stdlib
4m 7s
rocq-elpi
1m 26s
coq
1m 2s
unicoq
1m 7s
hierarchy-builder
1m 13s
coq-elpi
1m 10s
atbr
2m 21s
InfSeqExt
1m 28s
coq-hammer-tactics
2m 4s
aac-tactics
1m 29s
ExtLib
1m 30s
argosy
1m 49s
StructTact
1m 40s
MenhirLib
2m 45s
ceres
1m 30s
mtac2
1m 56s
coq-tools
7m 13s
bignums
1m 46s
tlc
1m 50s
smtcoq
2m 4s
engine-bench
5m 33s
stdlib-test
4m 6s
stalmarck
1m 39s
rewriter
5m 59s
stdpp
2m 42s
dpdgraph-test
1m 27s
coinduction
1m 26s
cross-crypto
5m 56s
paco
1m 39s
equations
1m 34s
neural-net-coq-interp
2m 3s
flocq
2m 48s
waterproof
2m 30s
coqutil
2m 22s
stdlib-refman-html
3m 51s
itauto
2m 52s
fiat-parsers
5m 16s
bbv
1m 30s
rocq-lean-import
1m 41s
paramcoq-test
1m 39s
kami
4m 11s
rocq-elpi-test
2m 22s
coq-performance-tests
15m 25s
mathcomp-boot
1m 14s
coq-hammer
1m 33s
Cheerios
1m 27s
compcert
5m 59s
coqprime
3m 59s
CoLoR
6m 9s
bignums-test
1m 50s
math-classes
2m 20s
stalmarck-tactic
1m 28s
parsec
1m 33s
ITree
2m 58s
simple-io
1m 32s
metarocq-utils
2m 34s
equations-test
4m 12s
iris
5m 28s
mathcomp-fingroup
1m 16s
coquelicot
2m 33s
mathcomp-order
1m 12s
relation-algebra
2m 40s
autosubst
1m 34s
mathcomp-bigenough
1m 8s
mathcomp-finmap
1m 15s
riscvcoq
4m 12s
corn
7m 36s
fiat-crypto-legacy
17m 25s
json
2m 39s
QuickChick
1m 59s
VST
19m 51s
itree-io
1m 28s
metarocq-common
2m 6s
mathcomp-algebra
1m 7s
mathcomp-ssreflect
1m 13s
iris-examples
4m 54s
bedrock2
33m 16s
quickchick-test
2m 33s
async-test
2m 59s
deriving
2m 6s
Verdi
2m 0s
category-theory
6m 28s
metarocq-template-rocq
2m 47s
metarocq-pcuic
10m 55s
VerdiRaft
6m 13s
http
3m 33s
fcsl-pcm
3m 1s
mathcomp-zify
2m 20s
mathcomp-classical
1m 10s
mathcomp-word
1m 52s
mathcomp-solvable
1m 5s
mathcomp-field
1m 18s
metarocq-translations
1m 40s
mathcomp-reals
1m 15s
mathcomp-character
1m 5s
mathcomp-reals-stdlib
1m 54s
mathcomp-analysis
15m 55s
mathcomp-algebra-tactics
3m 48s
mathcomp
1m 19s
metarocq-template-pcuic
1m 54s
metarocq-safechecker
6m 50s
metarocq-quotation
8m 28s
metarocq-safechecker-plugin
1m 42s
metarocq-erasure
6m 29s
mathcomp-analysis-stdlib
16m 25s
metarocq-erasure-plugin
8m 3s
rupicola
2m 31s
fiat-crypto
33m 11s
metarocq
2m 26s
metarocq-test
3m 7s
fiat-crypto-ocaml
1h 28m 32s
8h 55m 43s