Checkout the repo before opening release PRs

This commit is contained in:
Quentin Gliech
2025-01-24 17:04:56 +01:00
parent 904678c88e
commit ad48e5bf89
2 changed files with 10 additions and 0 deletions
+5
View File
@@ -104,6 +104,11 @@ jobs:
});
console.log(`Created branch ${branch} from ${sha}`);
- name: Checkout the code
uses: actions/checkout@v4.2.2
with:
ref: "release/v${{ needs.compute-version.outputs.short }}"
- name: Open a pull request to merge the branch into main
env:
VERSION: ${{ needs.compute-version.outputs.short }}
+5
View File
@@ -84,6 +84,11 @@ jobs:
});
console.log(`Updated branch ${branch} to ${sha}`);
- name: Checkout the code
uses: actions/checkout@v4.2.2
with:
ref: "${{ github.ref_name }}"
- name: Open a pull request to merge the release branch back to main
if: github.event.inputs.merge-back
env: