ci: use pre-installed El SDK from ci-base image

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

@@ -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