Skip to content

Scope Pyright integration PR to tooling-only changes - #988

Closed
jkowalleck with Copilot wants to merge 1 commit into
copilot/issue-952-incorporate-pyrightfrom
copilot/copilotissue-952-incorporate-pyright
Closed

jkowalleck with Copilot wants to merge 1 commit into
copilot/issue-952-incorporate-pyrightfrom
copilot/copilotissue-952-incorporate-pyright

Commits

Commits on Jun 5, 2026