Skip to content

Migrate from mypy to ty as a type checker - #1731

Merged
tleonhardt merged 3 commits into
mainfrom
ty
Aug 21, 2026
Merged

Migrate from mypy to ty as a type checker#1731
tleonhardt merged 3 commits into
mainfrom
ty

Commits

Commits on Aug 19, 2026

Commits on Aug 20, 2026