Skip to content

Replace mypy with pyright. Update Makefile dependencies.#135

Merged
Ninja3047 merged 1 commit intomainfrom
pyright
Nov 10, 2025
Merged

Replace mypy with pyright. Update Makefile dependencies.#135
Ninja3047 merged 1 commit intomainfrom
pyright

Commits

Commits on Nov 5, 2025