Add mypy to pre-commit and fix all current typing issues#414
Merged
basnijholt merged 26 commits intomainfrom Apr 29, 2023
Merged
Add mypy to pre-commit and fix all current typing issues#414basnijholt merged 26 commits intomainfrom
basnijholt merged 26 commits intomainfrom
Commits
Commits on Apr 8, 2023
Commits on Apr 28, 2023
- committed
- committed
- committed
Commits on Apr 29, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed