From 1127dcd278f19a71b3b9f3a4e2e67f28e7c3c466 Mon Sep 17 00:00:00 2001
From: Will Anderson <will.anderson@neurontechnologies.ai>
Date: Tue, 5 May 2026 09:52:51 +0000
Subject: [PATCH] fix(ci): download El SDK from release assets instead of
 cloning repo

---
 .gitea/workflows/dev.yaml | 31 ++++++++++---------------------
 1 file changed, 10 insertions(+), 21 deletions(-)

diff --git a/.gitea/workflows/dev.yaml b/.gitea/workflows/dev.yaml
index 68fcfe2..457111d 100644
--- a/.gitea/workflows/dev.yaml
+++ b/.gitea/workflows/dev.yaml
@@ -34,17 +34,19 @@ jobs:
         with:
           fetch-depth: 2
 
-      - name: Clone el (provides elc compiler)
+      - name: Set up El SDK from release
         env:
           CHECKOUT_TOKEN: ${{ secrets.CHECKOUT_TOKEN }}
         run: |
           set -euo pipefail
-          DEST="${{ github.workspace }}/../foundation-el"
-          rm -rf "$DEST"
-          git clone --depth 1 \
-            "https://will:${CHECKOUT_TOKEN}@git.neuralplatform.ai/neuron-technologies/el.git" \
-            "$DEST"
-          echo "EL_HOME=$DEST" >> "$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"
+          chmod +x "$EL_HOME/dist/platform/elc"
+          echo "EL_HOME=$EL_HOME" >> "$GITHUB_ENV"
 
       - name: Authenticate to GCP
         uses: google-github-actions/auth@v2
@@ -59,20 +61,6 @@ jobs:
       - name: Configure docker auth for Artifact Registry
         run: gcloud auth configure-docker us-central1-docker.pkg.dev --quiet
 
-      - name: Get elc (pre-built linux/amd64 from El repo)
-        run: |
-          set -euo pipefail
-          mkdir -p "$EL_HOME/dist/platform"
-          ELC_SRC="$EL_HOME/dist/platform/elc-linux-amd64"
-          if [ -f "$ELC_SRC" ]; then
-            cp "$ELC_SRC" "$EL_HOME/dist/platform/elc"
-            chmod +x "$EL_HOME/dist/platform/elc"
-          else
-            curl -fL -o "$EL_HOME/dist/platform/elc" \
-              https://git.neuralplatform.ai/neuron-technologies/el/releases/download/v1.2.1/elc-linux-amd64
-            chmod +x "$EL_HOME/dist/platform/elc"
-          fi
-
       - name: Compute image tag
         id: tag
         run: echo "tag=dev-${GITHUB_SHA:0:8}" >> "$GITHUB_OUTPUT"
@@ -116,3 +104,4 @@ jobs:
           docker stop dev-smoke && docker rm dev-smoke || true
           echo "Dev smoke test FAILED"
           exit 1
+