Skip to content

Add mypy, update pre-commit#229

Merged
jonhealy1 merged 5 commits intomainfrom add-mypyNov 20, 2023

Commits

Commits on Nov 20, 2023