More CI (mypy, coverage), setup pre-commit, formatting#24
Merged
benbovy merged 14 commits intomainfrom pre-commit-ci-formatMar 14, 2023
+239-137
Commits
Commits on Mar 14, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
