promote: dev → stage #25

Merged
will.anderson merged 2 commits from dev into stage 2026-05-09 23:44:34 +00:00
+6 -5
View File
@@ -32,10 +32,16 @@ jobs:
id-token: write id-token: write
steps: steps:
- name: Checkout
uses: actions/checkout@v4
with:
fetch-depth: 2
- name: Enforce dev-only source - name: Enforce dev-only source
# stage only accepts merges from dev. Any PR from another branch fails # stage only accepts merges from dev. Any PR from another branch fails
# here before a single build step runs. # here before a single build step runs.
# workflow_dispatch is exempt (allows manual redeploy of current stage). # workflow_dispatch is exempt (allows manual redeploy of current stage).
# Must run AFTER checkout — git commands require a cloned workspace.
if: github.event_name != 'workflow_dispatch' if: github.event_name != 'workflow_dispatch'
run: | run: |
set -euo pipefail set -euo pipefail
@@ -61,11 +67,6 @@ jobs:
exit 1 exit 1
fi fi
- name: Checkout
uses: actions/checkout@v4
with:
fetch-depth: 2
- name: Detect change type - name: Detect change type
id: changetype id: changetype
run: | run: |