Skip to content

Replace mypy by pyright#1019

Closed
Kludex wants to merge 4 commits into
mainfrom
replace-mypy-by-pyright
Closed

Replace mypy by pyright#1019
Kludex wants to merge 4 commits into
mainfrom
replace-mypy-by-pyright

Commits

Commits on Jun 2, 2026

Commits on Jun 3, 2026