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 7c8bf444ca - Show all commits
+1
View File
@@ -62,6 +62,7 @@ jobs:
- name: Get elc (pre-built linux/amd64 from El repo)
run: |
set -euo pipefail
mkdir -p "$EL_HOME/dist/platform"
ELC_SRC="$EL_HOME/dist/platform/elc-linux-amd64"
if [ -f "$ELC_SRC" ]; then
cp "$ELC_SRC" "$EL_HOME/dist/platform/elc"