Skip to content

dune generate unsorted All.v #126

dune generate unsorted All.v

dune generate unsorted All.v #126

Triggered via pull request February 3, 2026 16:58
@SkySkimmerSkySkimmer
synchronize #231
Status Failure
Total duration 53m 29s
Artifacts

nix-action-rocq-9.1.yml

on: pull_request_target
StructTact
StructTact
coq-hammer-tactics
coq-hammer-tactics
MenhirLib
0s
MenhirLib
ceres
ceres
aac-tactics
0s
aac-tactics
stalmarck
stalmarck
InfSeqExt
0s
InfSeqExt
bignums
bignums
argosy
argosy
atbr
0s
atbr
bbv
bbv
coinduction
0s
coinduction
coqutil
0s
coqutil
dpdgraph-test
dpdgraph-test
equations
0s
equations
flocq
0s
flocq
kami
kami
neural-net-coq-interp
0s
neural-net-coq-interp
paramcoq-test
paramcoq-test
rocq-lean-import
rocq-lean-import
smtcoq
smtcoq
stdpp
stdpp
tlc
0s
tlc
waterproof
waterproof
stdlib-refman-html
0s
stdlib-refman-html
hierarchy-builder
1m 12s
hierarchy-builder
rocq-elpi-test
rocq-elpi-test
async-test
0s
async-test
quickchick-test
0s
quickchick-test
mathcomp-algebra
6m 26s
mathcomp-algebra
mathcomp-ssreflect
1m 7s
mathcomp-ssreflect
mathcomp-field
1m 4s
mathcomp-field
mathcomp-algebra-tactics
0s
mathcomp-algebra-tactics
mathcomp-character
1m 5s
mathcomp-character
mathcomp-analysis
16m 43s
mathcomp-analysis
mathcomp-reals-stdlib
0s
mathcomp-reals-stdlib
mathcomp-analysis-stdlib
0s
mathcomp-analysis-stdlib
Fit to window
Zoom out
Zoom in

Annotations

2 errors
stdlib-warnings
Process completed with exit code 1.
stdlib
Process completed with exit code 1.