fix(core): stop one bad ripgrep record from failing the whole search - #1094
Open
sahrizvi wants to merge 6 commits into
Open
fix(core): stop one bad ripgrep record from failing the whole search#1094sahrizvi wants to merge 6 commits into
sahrizvi wants to merge 6 commits into
Commits
Commits on Aug 13, 2026
- andcommitted

- andcommitted

- andcommitted

- andcommitted

- andcommitted

- andcommitted
