PR #17753 Attempt to change Push CI to workflow_run

Attempt to change Push CI to workflow_run #17753

ydshieh merged 8 commits into main from push_ci_on_workflow_run_part_2

Use workflow_run event for push CI

39e6d39a

Remove CI_COMMIT_URL

2e93d2d2

change to workflow_run

d78e618d

fix step names

9ec60f67

clean up

63dd0b41

ydshieh requested a review from

sgugger 4 years ago

sgugger approved these changes on 2022-06-17

Add comments

20b56316

Fix syntax

5e14a32b

ydshieh commented on 2022-06-17

Fix style

bc508eb0

ydshieh merged 6589e510 into main 4 years ago

ydshieh deleted the push_ci_on_workflow_run_part_2 branch 4 years ago

Reviewers

sgugger

Assignees

No one assigned

Labels

None yet

Milestone

No milestone