Fix soul-demo Docker build: --no-cache to avoid corrupted overlay2 layers

Dockerfile.stage COPYs dist/soul-demo-image.tar so k3s can import
soul-demo:local at container startup. Stage CI now compiles soul-demo
from source on the host runner and packages it as an OCI image before
the main Docker build runs.

.gitea/workflows/dev.yaml

@@ -75,6 +75,17 @@ jobs:
         if: github.event_name != 'pull_request'
         run: gcloud auth configure-docker us-central1-docker.pkg.dev --quiet
 
+      - name: Prune Docker to reclaim disk
+        run: |
+          # Remove stopped containers, dangling images, unused volumes/networks.
+          # Do NOT prune build cache — that keeps Docker builds fast and under
+          # the ~26min runner restart window. Selective pruning frees ~4-5GB
+          # which is enough to prevent overlay2 "no space left on device" errors.
+          docker container prune -f 2>&1 || true
+          docker image prune -f 2>&1 || true
+          docker volume prune -f 2>&1 || true
+          df -h /
+
       # ── El SDK setup ──────────────────────────────────────────────────────
       # Push builds: extract elb + elc + runtime from ci-base (always latest).
       # PR builds:   use committed bin/elb-linux-amd64 + bin/elc-linux-amd64 + runtime/.

.gitea/workflows/stage.yaml

@@ -96,6 +96,17 @@ jobs:
       - name: Configure docker auth for Artifact Registry
         run: gcloud auth configure-docker us-central1-docker.pkg.dev --quiet
 
+      - name: Prune Docker to reclaim disk
+        run: |
+          # Remove stopped containers, dangling images, unused volumes/networks.
+          # Do NOT prune build cache — that keeps Docker builds fast and under
+          # the ~26min runner restart window. Selective pruning frees ~4-5GB
+          # which is enough to prevent overlay2 "no space left on device" errors.
+          docker container prune -f 2>&1 || true
+          docker image prune -f 2>&1 || true
+          docker volume prune -f 2>&1 || true
+          df -h /
+
       - name: Compute image tag
         id: tag
         run: |
@@ -143,18 +154,48 @@ jobs:
         if: steps.changetype.outputs.asset_only != 'true'
         run: |
           set -euo pipefail
+          echo "ELC=$ELC"
+          echo "EL_RUNTIME=$EL_RUNTIME"
+          echo "el_runtime.js: $(ls -lh "$EL_RUNTIME/el_runtime.js" 2>&1)"
           cp "$EL_RUNTIME/el_runtime.js" src/js/
           mkdir -p dist/js
           for f in src/js/*.el; do
             [ -f "$f" ] || continue
             name=$(basename "$f" .el)
-            "$ELC" --target=js --bundle --minify --obfuscate "$f" > "dist/js/${name}.js"
+            echo "Compiling $f..."
+            "$ELC" --target=js --bundle --minify --obfuscate "$f" > "dist/js/${name}.js" || {
+              echo "elc FAILED on $f"
+              exit 1
+            }
             echo "  compiled: $f -> dist/js/${name}.js"
           done
           rm -f src/js/el_runtime.js
 
       # ── Docker build + push ───────────────────────────────────────────────
 
+      - name: Build soul-demo image tar
+        # Dockerfile.stage COPYs dist/soul-demo-image.tar so k3s can import
+        # soul-demo:local at runtime. We compile soul-demo from source on the
+        # host runner (ci-base has gcc), build a minimal OCI image, and save it.
+        # Moved AFTER JS compilation to avoid Docker memory pressure killing elc.
+        if: steps.changetype.outputs.asset_only != 'true'
+        run: |
+          set -euo pipefail
+          # Compile el_runtime.o and soul-demo on the host runner
+          cc -O2 -DHAVE_CURL -c runtime/el_runtime.c -I runtime/ -o /tmp/el_runtime.o
+          cc -O2 -rdynamic -DEL_SOUL_DEMO_BUILD \
+             -I runtime/ \
+             -o dist/soul-demo \
+             dist/soul-demo.c dist/vessel_stubs.c /tmp/el_runtime.o \
+             -lcurl -lpthread -ldl -lm -lssl -lcrypto
+          echo "soul-demo compiled: $(ls -lh dist/soul-demo)"
+          # Package as minimal OCI image for k3s import
+          # --no-cache: prevents reuse of corrupted overlay2 layers from prior failed runs
+          docker build --no-cache -f dist/Dockerfile.soul-demo -t soul-demo:local dist/
+          docker save soul-demo:local -o dist/soul-demo-image.tar
+          echo "soul-demo-image.tar: $(du -sh dist/soul-demo-image.tar | cut -f1)"
+          docker rmi soul-demo:local 2>/dev/null || true
+
       - name: Build and tag image
         if: steps.changetype.outputs.asset_only != 'true'
         run: |

Dockerfile.stage

@@ -44,7 +44,7 @@ RUN cc -O2 -rdynamic \
        -lcurl -lpthread -ldl -lm -lssl -lcrypto
 
 # ── Download k3s binary ───────────────────────────────────────────────────────
-RUN curl -fL https://github.com/k3s-io/k3s/releases/download/v1.32.4%2Bk3s1/k3s -o /usr/local/bin/k3s \
+RUN curl -fL --retry 3 --retry-delay 10 https://github.com/k3s-io/k3s/releases/download/v1.32.4%2Bk3s1/k3s -o /usr/local/bin/k3s \
  && chmod +x /usr/local/bin/k3s
 
 # ── Stage 2: runtime image ────────────────────────────────────────────────────