Replace mypy with pyright and fix errors - #10

Merged

Thomas Hopkins (thopkins32) merged 2 commits into

mainfrom

pyright-replace-mypy

Jul 16, 2025

Commits on Jul 10, 2025

Replace mypy with pyright and fix errors
Thomas Hopkins (thopkins32)
committed
5ae76da
Use local pre-commit in workflow
Thomas Hopkins (thopkins32)
committed
d1a49cd