Serve the 2026-07-28 protocol over stdio: decide the era from the opening message - #3151
Closed
maxisbey wants to merge 2 commits into
Closed
Serve the 2026-07-28 protocol over stdio: decide the era from the opening message#3151maxisbey wants to merge 2 commits into
maxisbey wants to merge 2 commits into
GitHub Advanced Security / CodeQL
succeeded
Jul 23, 2026 in 3s
No new alerts in code changed by this pull request
Loading