Merge pull request 'Use repo runtime dir for EL_RUNTIME in push builds' (#22) from fix/stage-source-check into dev

2026-05-09 23:17:49 +00:00
parent 954dc1d86e e7c1c922f7
commit 17e14a9fda
1 changed files with 1 additions and 1 deletions
@@ -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'