Skip to content

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

Open
gustav-fff wants to merge 6 commits into
mainfrom
triage-bot/issue-826
Open

fix(grep): enforce_time_budget option for zero-match searches (#826)#827
gustav-fff wants to merge 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