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

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

222dc8e
Select commit
Loading
Failed to load commit list.
Vercel / Vercel Preview Comments succeeded May 18, 2026 in 0s

✅ No unresolved feedback

💬 0 unresolved, 0 resolved. Go to feedback