Rewrite Vector using list and small inversions #602
Triggered via pull request
February 19, 2026 16:33
andres-erbsen
andres-erbsen
synchronize
#170
Status
Failure
Total duration
1h 25m 58s
Artifacts
–
nix-action-rocq-master.yml
on: pull_request_target
rocq-core
1m 8s
argosy
1m 46s
atbr
2m 29s
bbv
1m 32s
coinduction
1m 35s
coq-performance-tests
15m 46s
coq-tools
7m 32s
cross-crypto
7m 27s
dpdgraph-test
1m 40s
engine-bench
5m 23s
fiat-parsers
5m 36s
itauto
3m 0s
neural-net-coq-interp
2m 16s
paramcoq-test
1m 52s
rocq-lean-import
1m 52s
smtcoq
2m 9s
tlc
1m 55s
waterproof
2m 33s
rocq-elpi-test
2m 28s
mtac2
2m 13s
equations-test
2m 34s
coq-hammer
2m 24s
iris
5m 59s
stalmarck-tactic
2m 17s
corn
6m 12s
VST
19m 20s
relation-algebra
4m 19s
autosubst
2m 3s
coquelicot
2m 56s
quickchick-test
3m 56s
http
4m 32s
category-theory
6m 4s
deriving
2m 10s
mathcomp-word
1m 57s
fcsl-pcm
3m 9s
fiat-crypto-ocaml
0s
VerdiRaft
7m 0s
mathcomp-algebra-tactics
2m 56s
mathcomp
1m 56s
mathcomp-analysis-stdlib
17m 44s
metarocq-test
0s
Annotations
9 errors
|
kami
Process completed with exit code 1.
|
|
stdlib-test
Process completed with exit code 1.
|
|
rocq-elpi-test
Process completed with exit code 1.
|
|
CoLoR
Process completed with exit code 1.
|
|
equations-test
Process completed with exit code 1.
|
|
coquelicot
Process completed with exit code 1.
|
|
corn
Process completed with exit code 1.
|
|
category-theory
Process completed with exit code 1.
|
|
metarocq-erasure
Process completed with exit code 1.
|