llvm
/
torch-mlir
mirror of https://github.com/llvm/torch-mlir
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

CI: Update script to (mock) merge of RollPyTorch PRs (#2213) 

Before enabling the actual merge, this patch dumps to the console the
bash commands that it plans to execute.
pull/2194/head
Ashay Rane 2023-06-06 12:38:16 -05:00 committed by GitHub
parent faec8698ea
commit 2480cb7a51
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.github/workflows/RollPyTorch.yml vendored
View File

@ -133,4 +133,3 @@ jobs:
committer: Roll PyTorch Action <torch-mlir@users.noreply.github.com> committer: Roll PyTorch Action <torch-mlir@users.noreply.github.com>
title: update PyTorch version to ${{ env.PT_RELEASE }} title: update PyTorch version to ${{ env.PT_RELEASE }}
token: ${{ secrets.ROLLPYTORCH_TOKEN0 }} token: ${{ secrets.ROLLPYTORCH_TOKEN0 }}
reviewers: ashay, powderluv, vivekkhandelwal1

11
.github/workflows/merge-rollpytorch.yml vendored
View File

@ -14,8 +14,11 @@ jobs:
github.event.workflow_run.actor.login == 'silvasean' && github.event.workflow_run.actor.login == 'silvasean' &&
github.event.workflow_run.conclusion == 'success' github.event.workflow_run.conclusion == 'success'
env:
PR_IDS: ${{ toJson(github.event.workflow_run.pull_requests.*.number) }}
steps: steps:
- run: echo "PRs to approve and merge -- $PR_IDS" - 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
done
shell: bash