ci: fix lint

This commit is contained in:
Michael Kriese 2023-12-06 14:03:38 +01:00
parent 635938da7e
commit 605641da46
No known key found for this signature in database
GPG key ID: B83F553A0724D44E
2 changed files with 2 additions and 2 deletions