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

Commits on Aug 28, 2026

fix: enforce grep time budget on zero-match searches (#826)
gustav-fff
committed
a51f0f4

Commits on Aug 30, 2026

fix(grep): gate zero-match time budget behind enforce_time_budget (#826)
gustav-fff
committed
8bf4031
test(grep): move zero-match budget helpers to end of file
gustav-fff
committed
be0c61c

Commits on Sep 2, 2026

Merge remote-tracking branch 'origin/main' into triage-bot/issue-826
dmtrKovalenko
committed
64336fc
fix(python): declare enforce_time_budget in grep type stubs
dmtrKovalenko
committed
7fb5848
refactor(grep): drop redundant budget_exceeded flag and tighten comments
dmtrKovalenko
committed
cab93bb