Skip to content

Enable mypy in pre-commit, and fix issues found by it#100

Merged
c-wygoda merged 18 commits intomainfrom pv/mypyNov 12, 2024

Commits

Commits on Nov 8, 2024

Commits on Nov 11, 2024