CI: Another fix

This commit is contained in:
Jakub Melka 2023-12-09 17:24:16 +01:00
parent 1aa3ffe695
commit 176369e8dd
1 changed files with 5 additions and 5 deletions