Fix creation of release PRs

This commit is contained in:
Quentin Gliech
2025-01-24 16:30:37 +01:00
parent fc8d3fd07d
commit a6221e3670
2 changed files with 2 additions and 0 deletions

View File

@@ -107,6 +107,7 @@ jobs:
- name: Open a pull request to merge the branch into main
env:
VERSION: ${{ needs.compute-version.outputs.short }}
GH_TOKEN: ${{ secrets.BOT_GITHUB_TOKEN }}
run: |
gh pr create \
--title "Release branch $VERSION" \

View File

@@ -88,6 +88,7 @@ jobs:
if: github.event.inputs.merge-back
env:
VERSION: ${{ needs.compute-version.outputs.version }}
GH_TOKEN: ${{ secrets.BOT_GITHUB_TOKEN }}
run: |
gh pr create \
--title "Release branch $VERSION" \