Repository navigation

fix(optimization): trim_to_length must retain the newest positions, not the oldest (#13033) - #13607

Merged

mrveiss merged 3 commits into

Dev_new_guifrom

Aug 5, 2026

Commits on Aug 5, 2026
- chore: claim worktree for #13033
  mrveiss
  committed
  90aa940
- fix(optimization): trim_to_length must retain the newest positions, not the oldest (#13033)
  mrveiss
  committed
  1db482f
- Auto-fix: code formatting
  github-actions[bot]
  committed
  34f240d