CI: Merge RollPyTorch PR upon successful completion (#2218)

This patch removes the mock commands, so that once the Build And Test
workflow has successfully completed on the RollPyTorch action, the PR is
merged and the branch is deleted.
pull/2207/head snapshot-20230608.863
Ashay Rane 2023-06-07 14:06:50 -05:00 committed by GitHub
parent 44d5cf6d32
commit 3c1a796f7e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 3 deletions

View File

@ -15,10 +15,11 @@ jobs:
github.event.workflow_run.conclusion == 'success'
steps:
- run: |
- name: Merge RollPyTorch PR
run: |
for pr_id in ${{ join(github.event.workflow_run.pull_requests.*.number, ' ') }}
do
echo "[mock] Merging PR: $pr_id"
echo gh pr merge $pr_id --delete-branch --squash
echo "Merging PR: $pr_id"
gh pr merge $pr_id --delete-branch --squash
done
shell: bash