Fix syntax in github workflow

This commit is contained in:
Jerry Jacobs 2024-07-26 13:59:43 +02:00
parent 579bc4bb84
commit 72fcca386b
1 changed files with 4 additions and 4 deletions