Attempt to change Push CI to workflow_run (#17753)

* Use workflow_run event for push CI

* change to workflow_run

* Add comments

Co-authored-by: ydshieh <ydshieh@users.noreply.github.com>
This commit is contained in:
Yih-Dar
2022-06-18 08:35:03 +02:00
committed by GitHub
parent 0d92798b45
commit 6589e510fa
3 changed files with 259 additions and 66 deletions

View File

@@ -1,3 +1,4 @@
# Used to trigger self-push CI
name: Self-hosted runner (push-caller)
on:
@@ -13,17 +14,8 @@ on:
jobs:
run_push_ci:
name: Run Push CI
name: Trigger Push CI
runs-on: ubuntu-latest
steps:
- name: Checkout transformers
uses: actions/checkout@v2
with:
fetch-depth: 2
ssh-key: "${{ secrets.COMMIT_KEY }}"
- name: Checkout to branch push-ci
# A more strict way to make sure`push-ci` is exactly the same as `main` at the push event commit.
run: |
git checkout -b push-ci
git push -u origin push-ci --force
- name: Trigger push CI via workflow_run
run: echo "Trigger push CI via workflow_run"