Fix creation of release PRs

This commit is contained in:
Quentin Gliech
2025-01-24 16:30:37 +01:00
parent 6dbcf2c367
commit bfb02454a7
2 changed files with 2 additions and 0 deletions
+1
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" \
+1
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" \