2023-06-05 21:48:20 +08:00
|
|
|
name: RollPyTorch Merge
|
|
|
|
|
|
|
|
|
|
on:
|
|
|
|
|
workflow_run:
|
|
|
|
|
workflows: [Build and Test]
|
|
|
|
|
types: [completed]
|
|
|
|
|
branches: [rollpytorch]
|
|
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
merge-pr:
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
if: |
|
|
|
|
|
github.repository == 'llvm/torch-mlir' &&
|
|
|
|
|
github.event.workflow_run.actor.login == 'silvasean' &&
|
|
|
|
|
github.event.workflow_run.conclusion == 'success'
|
|
|
|
|
|
|
|
|
|
steps:
|
2023-06-07 01:38:16 +08:00
|
|
|
- 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
|
