Avoid Push CI failing to report due to many commits being merged #19496
Change the depth to 20
284842b0
Add comment
155f1e27
sgugger
approved these changes
on 2022-10-11
ydshieh
merged
e81cb010
into main 3 years ago
ydshieh
deleted the enhance_push_ci branch 3 years ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub