Add pre-commit config and run in CI#177
Merged
ludovicsteinbach merged 10 commits intomainfrom maint/add-license-headersApr 18, 2024
Commits
Commits on Apr 18, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed