promote: dev → stage #2

Merged
will.anderson merged 44 commits from dev into stage 2026-05-09 17:32:29 +00:00
Showing only changes of commit 9d264cb506 - Show all commits
+1
View File
@@ -45,6 +45,7 @@ jobs:
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"