Skip to content

build: migrate from mypy to pyright#132

Merged
remarkablemark merged 1 commit into
masterfrom
build/pyright
Jul 14, 2026
Merged

build: migrate from mypy to pyright#132
remarkablemark merged 1 commit into
masterfrom
build/pyright

Commits

Commits on Jul 14, 2026