From e7c1c922f7006cd89f5749bd14b41f5f60b4c797 Mon Sep 17 00:00:00 2001
From: Will Anderson <will.anderson@neurontechnologies.ai>
Date: Sat, 9 May 2026 18:15:18 -0500
Subject: [PATCH] Use repo runtime dir for EL_RUNTIME in push builds

ci-base's el-compiler/runtime doesn't have the web-specific forward
declarations added to runtime/el_runtime.h. Point EL_RUNTIME at the
workspace runtime/ so push builds pick up the same header as PR builds.
---
 .gitea/workflows/dev.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitea/workflows/dev.yaml b/.gitea/workflows/dev.yaml
index a911438..f69a6a4 100644
--- a/.gitea/workflows/dev.yaml
+++ b/.gitea/workflows/dev.yaml
@@ -90,7 +90,7 @@ jobs:
           docker rm "$CID"
           echo "ELB=/opt/el/dist/bin/elb"              >> "$GITHUB_ENV"
           echo "ELC=/opt/el/dist/platform/elc"          >> "$GITHUB_ENV"
-          echo "EL_RUNTIME=/opt/el/el-compiler/runtime" >> "$GITHUB_ENV"
+          echo "EL_RUNTIME=$GITHUB_WORKSPACE/runtime"    >> "$GITHUB_ENV"
 
       - name: Set up El SDK from committed bin/ (PR builds)
         if: github.event_name == 'pull_request'
-- 
2.52.0