From 33fa14935b4d5fdf146893cc7bd776ddc6f7e903 Mon Sep 17 00:00:00 2001
From: Will Anderson <will.anderson@neurontechnologies.ai>
Date: Tue, 5 May 2026 13:13:19 -0500
Subject: [PATCH] ci: use pre-installed El SDK from ci-base image
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Remove fallback download logic in dev.yaml — El SDK v1.2.1 is now baked
into the ci-base image at /opt/el, so EL_HOME just needs to be pointed there.
---
 .gitea/workflows/dev.yaml | 20 +-------------------
 1 file changed, 1 insertion(+), 19 deletions(-)

diff --git a/.gitea/workflows/dev.yaml b/.gitea/workflows/dev.yaml
index 1353242..56ff2a3 100644
--- a/.gitea/workflows/dev.yaml
+++ b/.gitea/workflows/dev.yaml
@@ -35,25 +35,7 @@ jobs:
           fetch-depth: 2
 
       - name: Set up El SDK
-        env:
-          CHECKOUT_TOKEN: ${{ secrets.CHECKOUT_TOKEN }}
-        run: |
-          set -euo pipefail
-          if [ -x "/opt/el/dist/platform/elc" ]; then
-            echo "EL_HOME=/opt/el" >> "$GITHUB_ENV"
-            echo "Using pre-installed El SDK"
-          else
-            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"
-            echo "Downloaded El SDK from release"
-          fi
+        run: echo "EL_HOME=/opt/el" >> "$GITHUB_ENV"
 
       - name: Authenticate to GCP
         uses: google-github-actions/auth@v2