ci: enable lint

This commit is contained in:
Michael Grote 2023-11-13 11:55:01 +01:00
parent 72e7e77729
commit 188609145b