neuron-technologies/neuron-web
2
0
Fork 0
Code Issues 2 Pull Requests 4 Actions Packages Projects Releases Wiki Activity

ci: update el repo clone URL (engram-lang renamed to el)
Deploy marketing to Cloud Run / deploy (push) Has been cancelled
Details

Browse Source
This commit is contained in:
Will Anderson
2026-05-02 15:14:34 -05:00
parent 609a123012
commit 5bf7b18f06
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.gitea/workflows/deploy.yaml
+3 -3
View File
@@ -34,13 +34,13 @@ jobs:
fetch-depth: 1 fetch-depth: 1
# foundation/el contains the elc compiler that build-stage.sh shells out # foundation/el contains the elc compiler that build-stage.sh shells out
# to. We clone engram-lang directly with git rather than a second # to. We clone el directly with git rather than a second
# actions/checkout call — act_runner v0.6 in host mode hits a # actions/checkout call — act_runner v0.6 in host mode hits a
# `permission denied` error on .git/objects/pack/*.idx when running # `permission denied` error on .git/objects/pack/*.idx when running
# two checkout steps in the same job. EL_HOME is pinned outside the # two checkout steps in the same job. EL_HOME is pinned outside the
# workspace so the path build-stage.sh expects (../../foundation/el) # workspace so the path build-stage.sh expects (../../foundation/el)
# resolves correctly. # resolves correctly.
- name: Clone engram-lang (foundation/el — provides the elc compiler) - name: Clone el (foundation/el — provides the elc compiler)
env: env:
CHECKOUT_TOKEN: ${{ secrets.CHECKOUT_TOKEN }} CHECKOUT_TOKEN: ${{ secrets.CHECKOUT_TOKEN }}
run: | run: |
@@ -48,7 +48,7 @@ jobs:
DEST="${{ github.workspace }}/../foundation-el" DEST="${{ github.workspace }}/../foundation-el"
rm -rf "$DEST" rm -rf "$DEST"
git clone --depth 1 \ git clone --depth 1 \
"https://will:${CHECKOUT_TOKEN}@git.neuralplatform.ai/neuron-technologies/engram-lang.git" \ "https://will:${CHECKOUT_TOKEN}@git.neuralplatform.ai/neuron-technologies/el.git" \
"$DEST" "$DEST"
ls -la "$DEST" | head -5 ls -la "$DEST" | head -5
echo "EL_HOME=$DEST" >> "$GITHUB_ENV" echo "EL_HOME=$DEST" >> "$GITHUB_ENV"