Closed aDotInTheVoid closed 9 months ago
Indeed, this should be done automatically although I am not sure whether it it up to the CI to do the formatting. Perhaps it would be better to let the CI test whether everything is formatted correctly and if not fail. I think this formatting ought to be done before making the commit, either using in-editor hooks, or some pre-commit hooks. Anyway thanks for the PR!
Similar to #43.
This should probably by added to CI at some point.