dune generate unsorted All.v #572
Triggered via pull request
February 3, 2026 16:57
SkySkimmer
SkySkimmer
synchronize
#231
Status
Failure
Total duration
55m 42s
Artifacts
–
nix-action-rocq-9.0.yml
on: pull_request_target
rocq-core
1m 1s
stdlib-warnings
1m 12s
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
metarocq-translations
0s
http
fcsl-pcm
0s
Verdi
0s
mathcomp-word
0s
deriving
0s
mathcomp-algebra-tactics
0s
mathcomp
1m 5s
mathcomp-analysis-stdlib
0s
Annotations
2 errors
|
stdlib-warnings
Process completed with exit code 1.
|
|
stdlib
Process completed with exit code 1.
|