Skip to content

Conversation

@fxmarty
Copy link
Contributor

@fxmarty fxmarty commented Jul 19, 2023

Let's see if the CI passes @regisss

@HuggingFaceDocBuilderDev
Copy link

HuggingFaceDocBuilderDev commented Jul 19, 2023

The documentation is not available anymore as the PR was closed or merged.

@fxmarty fxmarty merged commit 77c690b into huggingface:main Jul 19, 2023
baskrahmer pushed a commit to baskrahmer/optimum that referenced this pull request Jul 22, 2023
* unpin

* unpin in the CI as well
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.

2 participants