Skip to content

Update pr docs actions#344

Merged
lvwerra merged 1 commit into
mainfrom
update_doc_pr_actions
Nov 8, 2022
Merged

Update pr docs actions#344
lvwerra merged 1 commit into
mainfrom
update_doc_pr_actions

Conversation

@mishig25

@mishig25 mishig25 commented Nov 8, 2022

Copy link
Copy Markdown
Contributor

No description provided.

@HuggingFaceDocBuilder

Copy link
Copy Markdown

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

@lvwerra
lvwerra merged commit 743c8c8 into main Nov 8, 2022
@lvwerra
lvwerra deleted the update_doc_pr_actions branch November 8, 2022 15:43
NimaBoscarino pushed a commit to NimaBoscarino/evaluate that referenced this pull request Nov 9, 2022
mishig25 pushed a commit that referenced this pull request Nov 16, 2022
lvwerra pushed a commit that referenced this pull request Nov 16, 2022
Revert "Update pr docs actions (#344)"

This reverts commit 743c8c8.
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