Use pre-commit CI, fix failing pre-commit #999
Merged
philipc2 merged 10 commits intomainfrom fix-pre-commitOct 8, 2024
+21-40
Commits
Commits on Oct 8, 2024
- authored
- authored
- authored
- authored
- committed
- committed
- authored
- committed
- authored
- authored
![pre-commit-ci[bot]](https://avatars.githubusercontent.com/in/68672?v=4&size=32){kind=avatar}