Skip to content

Replace mypy with pyright. Update Makefile dependencies. - #135

Merged
Ninja3047 merged 1 commit into
mainfrom
pyright
Nov 10, 2025
Merged

Ninja3047 merged 1 commit into
mainfrom
pyright

Commits

Commits on Nov 5, 2025