Actions: Introduce actionlint (#105224)

2025-05-13 08:23:59 +02:00
parent 99273f15eb
commit c92ff0ca75
20 changed files with 304 additions and 131 deletions
@@ -65,5 +65,5 @@ jobs:
        if ! git diff --exit-code --quiet; then
          echo "Committing and pushing workspace changes"
          git commit -a -m "update workspace"
-          git push origin $BRANCH_NAME
+          git push origin "$BRANCH_NAME"
        fi