PR #19234 Fix confusing working directory in Push CI

Fix confusing working directory in Push CI #19234

ydshieh merged 1 commit into main from fix_push_ci_setup

Fix confusing working directory in Push CI

af8a381a

ydshieh commented on 2022-09-28

ydshieh requested a review from

sgugger 3 years ago

ydshieh requested a review from

LysandreJik 3 years ago

sgugger approved these changes on 2022-09-28

ydshieh merged 99c32493 into main 3 years ago

ydshieh deleted the fix_push_ci_setup branch 3 years ago

Reviewers

sgugger

LysandreJik

Assignees

No one assigned

Labels

None yet

Milestone

No milestone