[ci] speed up linting by switching to docker runner #192

Merged

tom merged 1 commit from ci-backend into main

2024-10-17 11:20:14 +02:00

Author	SHA1	Message	Date
Aaron Riedel	97ecad2391	[ci] speed up linting by switching to docker runner All checks were successful ci/woodpecker/push/yamllint Pipeline was successful Details	2024-10-16 22:23:45 +02:00