Rewrite Vector using list and small inversions #33
Triggered via pull request
February 19, 2026 16:33
andres-erbsen
andres-erbsen
synchronize
#170
Status
Failure
Total duration
1h 30m 28s
Artifacts
–
nix-action-rocq-9.2.yml
on: pull_request_target
rocq-core
1m 9s
stdlib-warnings
2m 50s
argosy
1m 50s
atbr
2m 22s
bbv
1m 42s
coinduction
1m 36s
coqutil
2m 34s
dpdgraph-test
1m 32s
equations
1m 47s
flocq
2m 53s
kami
1m 40s
neural-net-coq-interp
2m 9s
paramcoq-test
1m 39s
rocq-lean-import
1m 46s
smtcoq
2m 4s
stdpp
3m 16s
tlc
2m 3s
waterproof
2m 43s
stdlib-refman-html
4m 33s
rocq-elpi-test
2m 27s
quickchick-test
3m 47s
http
3m 11s
fcsl-pcm
8m 21s
Verdi
2m 22s
mathcomp-word
7m 16s
deriving
2m 25s
mathcomp-algebra-tactics
3m 33s
mathcomp
3m 56s
mathcomp-analysis-stdlib
16m 52s
Annotations
4 errors
|
stdlib-warnings
Process completed with exit code 1.
|
|
kami
Process completed with exit code 1.
|
|
rocq-elpi-test
Process completed with exit code 1.
|
|
coquelicot
Process completed with exit code 1.
|