Merge pull request 'Make docker prune non-fatal (concurrent prune race)' (#38) from fix/stage-source-check into dev

2026-05-10 01:57:30 +00:00
parent 38c92e5fc7 21ecbca2e6
commit e520ba98ca
2 changed files with 2 additions and 2 deletions
@@ -77,7 +77,7 @@ jobs:

      - name: Prune Docker to reclaim disk
        run: |
-          docker system prune -f
+          docker system prune -f 2>&1 || echo "prune skipped (another prune in progress)"
          df -h /

      # ── El SDK setup ──────────────────────────────────────────────────────
@@ -98,7 +98,7 @@ jobs:

      - name: Prune Docker to reclaim disk
        run: |
-          docker system prune -f
+          docker system prune -f 2>&1 || echo "prune skipped (another prune in progress)"
          df -h /

      - name: Compute image tag