Skip to content

fix(sandbox): GNU grep fallback when ripgrep is unavailable#3571

Open
guitavano wants to merge 1 commit into
mainfrom
fix/sandbox-grep-gnu-fallback
Open

fix(sandbox): GNU grep fallback when ripgrep is unavailable#3571
guitavano wants to merge 1 commit into
mainfrom
fix/sandbox-grep-gnu-fallback

Commits

Commits on May 29, 2026