Skip to content

Adding pyright and removing mypy#20

Merged
jzazo merged 15 commits intomainfrom jzazo/pyrightJan 10, 2024

Commits

Commits on Jan 9, 2024

Commits on Jan 10, 2024