Use Github Actions #1
Description
Currently some formatting is done with pre-commit, it would be better if this was put into Github Actions.
{{ message }}
Currently some formatting is done with pre-commit, it would be better if this was put into Github Actions.