Skip to content

fix(grep): enforce_time_budget option for zero-match searches (#826) - #827

Merged
dmtrKovalenko merged 6 commits into
mainfrom
triage-bot/issue-826
Sep 8, 2026
Merged

fix(grep): enforce_time_budget option for zero-match searches (#826)#827
dmtrKovalenko merged 6 commits into
mainfrom
triage-bot/issue-826

refactor(grep): drop redundant budget_exceeded flag and tighten comments

cab93bb
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar