ci: fix linting

This commit is contained in:
cn 2023-07-02 13:56:53 +02:00
parent 2258edaae6
commit c71b23d35e
1 changed files with 1 additions and 1 deletions