Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update huggingface_hub commit sha #24527

Merged
merged 1 commit into from
Jun 27, 2023
Merged

Update huggingface_hub commit sha #24527

merged 1 commit into from
Jun 27, 2023

Conversation

ydshieh
Copy link
Collaborator

@ydshieh ydshieh commented Jun 27, 2023

What does this PR do?

To use timeout=10.0 in this commit.

The goal is to make sure the fix from infra team really works. But once verified, we can keep it as 10.0.

@ydshieh ydshieh requested a review from sgugger June 27, 2023 15:29
Copy link
Collaborator

@sgugger sgugger left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

SGTM!

@ydshieh ydshieh merged commit 7d150d6 into main Jun 27, 2023
@ydshieh ydshieh deleted the pin_hub branch June 27, 2023 15:41
@HuggingFaceDocBuilderDev

The docs for this PR live here. All of your documentation changes will be reflected on that endpoint.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants