Skip to content

Replace pyright with ty, add more Ruff rules, fix issues#140

Merged
elprans merged 1 commit into
mainfrom
elprans/typeck-lint
May 19, 2026
Merged

Replace pyright with ty, add more Ruff rules, fix issues#140
elprans merged 1 commit into
mainfrom
elprans/typeck-lint

Commits

Commits on May 18, 2026