4 commits

Author	SHA1	Message	Date
Michael Grote	188609145b	ci: enable lint	2023-11-13 11:55:01 +01:00
Michael Grote	874e48d653	disable lint	2023-11-13 11:44:42 +01:00
Michael Grote	19f4c12a7f	fix ci config	2023-11-13 10:48:12 +01:00
Michael Grote	7bd9669dca	add ci	2023-11-13 10:31:34 +01:00