Merge pull request 'promote: dev → stage' (#25) from dev into stage

2026-05-09 23:44:30 +00:00
parent 0ae526b72e b27aab20ee
commit 6bc026de19
1 changed files with 6 additions and 5 deletions
@@ -32,10 +32,16 @@ jobs:
      id-token: write

    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+        with:
+          fetch-depth: 2
+
      - name: Enforce dev-only source
        # stage only accepts merges from dev. Any PR from another branch fails
        # here before a single build step runs.
        # 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'
        run: |
          set -euo pipefail
@@ -61,11 +67,6 @@ jobs:
            exit 1
          fi

-      - name: Checkout
-        uses: actions/checkout@v4
-        with:
-          fetch-depth: 2
-
      - name: Detect change type
        id: changetype
        run: |