ci: more linter fixes

This commit is contained in:
Guido Grazioli 2024-04-17 16:56:56 +02:00
commit 50d189ee14