Skip to content

DBRX: make fixup#30578

Merged
gante merged 1 commit intohuggingface:mainfrom
gante:main_make_fixup
Apr 30, 2024
Merged

DBRX: make fixup#30578
gante merged 1 commit intohuggingface:mainfrom
gante:main_make_fixup

Conversation

@gante
Copy link
Copy Markdown
Contributor

@gante gante commented Apr 30, 2024

What does this PR do?

#30476 introduced some make fixup check failures on main, this PR fixes them

@gante gante requested review from amyeroberts and ydshieh April 30, 2024 16:34
@HuggingFaceDocBuilderDev
Copy link
Copy Markdown

The docs for this PR live here. All of your documentation changes will be reflected on that endpoint. The docs are available until 30 days after the last update.

Copy link
Copy Markdown
Member

@Rocketknight1 Rocketknight1 left a comment

Choose a reason for hiding this comment

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

Noticed this in my PRs, thanks for fixing!

@gante
Copy link
Copy Markdown
Contributor Author

gante commented Apr 30, 2024

Amy/Yih-Dar: merging as it is a very small bugfix (that breaks our copies checks in everyone's CI)

@gante gante merged commit 78a57c5 into huggingface:main Apr 30, 2024
@gante gante deleted the main_make_fixup branch April 30, 2024 17:30
@amyeroberts
Copy link
Copy Markdown
Contributor

@gante Thanks for the quick fix!

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.

4 participants