Skip to content

Close review r2's follow-ups on the tool pilot's web arms - #236

Merged
MaxGhenis merged 2 commits into
mainfrom
tool-pilot-web-arms-r2
Oct 21, 2026
Merged

Close review r2's follow-ups on the tool pilot's web arms#236
MaxGhenis merged 2 commits into
mainfrom
tool-pilot-web-arms-r2

Refuse a resume across v2-pilot wording changes; keep deferred repair…

9249fc0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar