Use repo runtime dir for EL_RUNTIME in push builds #22
Reference in New Issue
Block a user
Delete Branch "fix/stage-source-check"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Push builds were setting EL_RUNTIME to /opt/el/el-compiler/runtime (from ci-base), bypassing the web repo's runtime/el_runtime.h which contains the forward declarations for the 12 web stub functions. This caused 12 implicit declaration warnings in dist/main.c on every push-to-dev run, causing the smoke test to fail.
Fix: point EL_RUNTIME at $GITHUB_WORKSPACE/runtime so both PR and push builds use the same header.