Update release pipeline for correct secret names and simplified ZIP naming #34

Merged
Copilot merged 7 commits from copilot/create-build-scripts-for-releases into main 2026-01-05 08:36:52 +00:00
Showing only changes of commit f7c05ab788 - Show all commits

View File

@@ -1007,7 +1007,7 @@ else:
--body "Automated PR created by release pipeline. Version branch is retained by policy." \
|| true
- name: Attempt to merge PR (best effort)
- name: Attempt to merge PR (best effort, squash merge)
env:
GH_TOKEN: ${{ github.token }}
run: |
@@ -1021,7 +1021,7 @@ else:
exit 1
fi
gh pr merge "${PR_NUMBER}" --merge --delete-branch=false \
gh pr merge "${PR_NUMBER}" --squash --delete-branch=false \
|| echo "PR merge blocked by branch protection or policy" >> "${GITHUB_STEP_SUMMARY}"
- name: Report run context (always)