ci: restore El SDK v1.2.1 release download (repo clone uses incompatible elc)

.gitea/workflows/dev.yaml

@@ -34,19 +34,20 @@ jobs:
         with:
           fetch-depth: 2
 
-      - name: Set up El SDK
+      - name: Set up El SDK from release
         env:
           CHECKOUT_TOKEN: ${{ secrets.CHECKOUT_TOKEN }}
         run: |
           set -euo pipefail
-          DEST="${{ github.workspace }}/../foundation-el"
-          git clone --depth=1 \
-            "https://will:${CHECKOUT_TOKEN}@git.neuralplatform.ai/neuron-technologies/el.git" \
-            "$DEST"
-          # Use the pre-built linux/amd64 binary — no C compilation needed in CI.
-          chmod +x "$DEST/lang/dist/platform/elc-linux-amd64"
-          ln -sf "$DEST/lang/dist/platform/elc-linux-amd64" "$DEST/lang/dist/platform/elc"
-          echo "EL_HOME=$DEST/lang" >> "$GITHUB_ENV"
+          EL_HOME="${{ github.workspace }}/../foundation-el"
+          mkdir -p "$EL_HOME/dist/platform" "$EL_HOME/el-compiler/runtime"
+          BASE_URL="https://git.neuralplatform.ai/neuron-technologies/el/releases/download/v1.2.1"
+          curl -fL -H "Authorization: token ${CHECKOUT_TOKEN}" -o "$EL_HOME/dist/platform/elc" "$BASE_URL/elc-linux-amd64"
+          curl -fL -H "Authorization: token ${CHECKOUT_TOKEN}" -o "$EL_HOME/el-compiler/runtime/el_runtime.c" "$BASE_URL/el_runtime.c"
+          curl -fL -H "Authorization: token ${CHECKOUT_TOKEN}" -o "$EL_HOME/el-compiler/runtime/el_runtime.h" "$BASE_URL/el_runtime.h"
+          curl -fL -H "Authorization: token ${CHECKOUT_TOKEN}" -o "$EL_HOME/el-compiler/runtime/el_runtime.js" "$BASE_URL/el_runtime.js"
+          chmod +x "$EL_HOME/dist/platform/elc"
+          echo "EL_HOME=$EL_HOME" >> "$GITHUB_ENV"
 
       - name: Authenticate to GCP
         uses: google-github-actions/auth@v2
@@ -66,6 +67,9 @@ jobs:
         run: echo "tag=dev-${GITHUB_SHA:0:8}" >> "$GITHUB_OUTPUT"
 
       - name: Touch HTML placeholder files
+        # El binary regenerates these at startup via fs_write. They must exist
+        # in the build context for Dockerfile COPY to succeed. touch is
+        # idempotent if the files already exist from a prior run.
         run: touch src/index.html src/about.html src/terms.html src/enterprise-terms.html
 
       - name: Build image (local only — no push)
@@ -83,6 +87,8 @@ jobs:
             -e LANDING_ROOT=/srv/landing \
             "$IMAGE"
 
+          # entrypoint.sh sleeps 4s for soul-demo to load before starting neuron-web.
+          # Poll up to 45s total.
           for i in $(seq 1 15); do
             STATUS=$(curl -sSo /dev/null -w "%{http_code}" --max-time 5 http://localhost:8080/ || echo "000")
             echo "Attempt $i/15: HTTP $STATUS"
@@ -99,3 +105,4 @@ jobs:
           docker stop dev-smoke && docker rm dev-smoke || true
           echo "Dev smoke test FAILED"
           exit 1
+