Open rdong8 opened 8 months ago
Currently some formatting is done with pre-commit, it would be better if this was put into Github Actions.
Currently some formatting is done with pre-commit, it would be better if this was put into Github Actions.