CI: Checkout repo so that gh knows where to look for the PR (#2223)

Without this patch, the gh command (for merging the PR) doesn't know
which repo we're referring to.
pull/2225/head snapshot-20230610.865
Ashay Rane 2023-06-09 21:50:19 -05:00 committed by GitHub
parent 45c0bd76a4
commit c202cb5263
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 0 deletions

View File

@ -15,6 +15,12 @@ jobs:
github.event.workflow_run.conclusion == 'success'
steps:
# Fetch the repo first so that the gh command knows where to look for the PR
- name: Fetch Repo
uses: actions/checkout@v3
with:
token: ${{ secrets.WORKFLOW_INVOCATION_TOKEN }}
- name: Merge RollPyTorch PR
run: |
for pr_id in ${{ join(github.event.workflow_run.pull_requests.*.number, ' ') }}