Skip to content

[infra] Switch to Pyright for type checking#71

Merged
Githubcopilot111 merged 1 commit intomainfrom
codex/replace-mypy-with-pyright
Nov 12, 2025
Merged

[infra] Switch to Pyright for type checking#71
Githubcopilot111 merged 1 commit intomainfrom
codex/replace-mypy-with-pyright

Commits

Commits on Nov 12, 2025