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

Triggered via pull request February 3, 2026 17:02
@SkySkimmerSkySkimmer
synchronize #231
Status Success
Total duration 3h 20m 12s
Artifacts –

nix-action-rocq-master.yml

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