jo 00b73a3819 Add CI linting job
Use a single lint job

Run linting inside a container
2021-09-10 15:14:48 +02:00
..
2021-09-10 15:14:48 +02:00
2021-09-09 16:31:55 +02:00