3 commits

Author	SHA1	Message	Date
Michael Grote	874e48d653	disable lint	2023-11-13 11:44:42 +01:00
Michael Grote	67434aa71f	fix ci	2023-11-13 10:33:10 +01:00
Michael Grote	7bd9669dca	add ci	2023-11-13 10:31:34 +01:00