Automatically run pre-commit in GitHub workflow for pushes and pull requests#60
Merged
manics merged 6 commits intomainfrom github-precommitJun 14, 2023
+978-865
Commits
Commits on Jun 13, 2023
- committed
- committed
- committed
- committed
- committed
- committed
