PR #17369 Try to make push CI less noisy on commit pages.

Try to make push CI less noisy on commit pages. #17369

ydshieh merged 1 commit into main from push_ci_less_noise

sgugger approved these changes on 2022-05-20

ydshieh requested a review from

LysandreJik 3 years ago

ydshieh commented on 2022-05-20

ydshieh force pushed from 5dc1a8e1 to fe85d9b8 3 years ago

ydshieh marked this pull request as ready for review 3 years ago

ydshieh changed the title ~~[WIP] Try to make push CI less noisy on commit pages.~~ Try to make push CI less noisy on commit pages. 3 years ago

LysandreJik approved these changes on 2022-05-31

Split push CI into 2 workflows

eb314cb7

ydshieh force pushed from fe85d9b8 to eb314cb7 3 years ago

ydshieh merged 0932adb3 into main 3 years ago

ydshieh deleted the push_ci_less_noise branch 3 years ago

Reviewers

LysandreJik

sgugger

Assignees

No one assigned

Labels

None yet

Milestone

No milestone