Skip to content

Replace mypy with ty - #178

Merged
jezdez merged 2 commits into
mainfrom
fix/migrate-to-ty
Sep 9, 2026
Merged

Replace mypy with ty#178
jezdez merged 2 commits into
mainfrom
fix/migrate-to-ty

Commits

Commits on Sep 9, 2026