Skip to content

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

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

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

Replace mypy with pyright

bb76b99
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar