Skip to content

Replace mypy with pyright and fix errors - #10

Merged
Thomas Hopkins (thopkins32) merged 2 commits into
mainfrom
pyright-replace-mypy
Jul 16, 2025
Merged

Replace mypy with pyright and fix errors#10
Thomas Hopkins (thopkins32) merged 2 commits into
mainfrom
pyright-replace-mypy

Use local pre-commit in workflow

d1a49cd
Select commit
Loading
Failed to load commit list.
Sign in for the full log view