Skip to content

ci(lens): let /lens recheck opt into the raised verify budget - #4806

Merged
cmgrote merged 2 commits into
mainfrom
fix/lens-recheck-verify-budget
Nov 9, 2026
Merged

ci(lens): let /lens recheck opt into the raised verify budget#4806
cmgrote merged 2 commits into
mainfrom
fix/lens-recheck-verify-budget

ci(lens): report a recheck cut off mid tool call as a cut-off

c0b10bb
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar