Set timeout to 10s #1530

Wauplin merged 2 commits into main from timeout_10
ydshieh
ydshieh timeout 10s
ca78d80e
ydshieh ydshieh requested a review from Wauplin Wauplin 2 years ago
HuggingFaceDocBuilderDev
Wauplin
Wauplin commented on 2023-06-27
ydshieh timeout 10s
8a316d3f
Wauplin
Wauplin approved these changes on 2023-06-27
Wauplin Wauplin merged e4a419bf into main 2 years ago
Wauplin Wauplin deleted the timeout_10 branch 2 years ago
HuggingFaceDocBuilderDev

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone