dune generate unsorted All.v #571
Triggered via pull request
February 3, 2026 16:45
SkySkimmer
SkySkimmer
opened
#231
Status
Failure
Total duration
1h 4m 29s
Artifacts
–
nix-action-rocq-9.0.yml
on: pull_request_target
rocq-core
1m 2s
stdlib-warnings
1m 14s
argosy
0s
atbr
0s
bbv
0s
coinduction
0s
coqutil
0s
dpdgraph-test
0s
flocq
0s
kami
0s
neural-net-coq-interp
0s
paramcoq-test
0s
rocq-lean-import
0s
smtcoq
0s
stdpp
0s
tlc
0s
waterproof
0s
stdlib-refman-html
0s
rocq-elpi-test
0s
quickchick-test
0s
metarocq-translations
http
0s
fcsl-pcm
0s
Verdi
0s
mathcomp-word
0s
deriving
0s
mathcomp-algebra-tactics
mathcomp
1m 45s
mathcomp-analysis-stdlib
0s
Annotations
2 errors
|
stdlib-warnings
Process completed with exit code 1.
|
|
stdlib
Process completed with exit code 1.
|