Commit graph

1 commit

Author SHA1 Message Date
Florian Schüller
c408577b2d pre-commit: introduce make lint
Also make the linters part of the github actions.
2025-01-07 12:29:58 +00:00