CI: Put all OS builds into build-deploy workflow, add passed job (#6358)

2026-09-04 16:40:12 +02:00 · 2025-09-03 06:32:10 -04:00
parent 041dad92cf
commit 1e4ede08b6
8 changed files with 147 additions and 156 deletions
@@ -38,7 +38,7 @@ jobs:
          make -j 2 format CLANGFORMAT=clang-format-18 &&
          git status
      - name: Push
-        run: |
+        run: |-
          if [ -n "$(git status --porcelain)" ]; then
            git commit . -m "Apply 'make format'" &&
            git push origin