add pylint #15

Merged

mg merged 7 commits from ci into master 2024-05-08 14:49:20 +02:00

Conversation 0 Commits 7 Files changed 1 +4 -3

7 commits

Author	SHA1	Message	Date
Michael Grote	fbfa7cc04c	set i	2024-05-08 14:48:29 +02:00
Michael Grote	0c0c0f72a5	d	2024-05-08 14:35:50 +02:00
Michael Grote	5bdf47c3dc	d	2024-05-08 14:26:17 +02:00
Michael Grote	2078d6896a	c	2024-05-08 14:25:58 +02:00
Michael Grote	fb9d6985a6	f	2024-05-08 14:20:37 +02:00
Michael Grote	4ae1201777	ff	2024-05-08 14:20:14 +02:00
Michael Grote	d688b8fd77	ci: fix	2024-05-08 14:20:14 +02:00