promote: dev → stage #25

Merged
will.anderson merged 2 commits from dev into stage 2026-05-09 23:44:34 +00:00

2 Commits

Author SHA1 Message Date
will.anderson b27aab20ee Merge pull request 'Fix stage source check: run after checkout' (#24) from fix/stage-source-check into dev
Dev — Build & local smoke test / build-smoke (push) Successful in 3m52s
2026-05-09 23:40:02 +00:00
will.anderson 345f9be81a Fix stage source check: run after checkout, not before
Dev — Build & local smoke test / build-smoke (pull_request) Successful in 1m29s
git log -1 fails with 'not a git repository' when the workspace
hasn't been checked out yet. Move the Enforce dev-only source step
to after the Checkout step.
2026-05-09 18:37:55 -05:00