Skip to content

clippy#1781

Merged
ArthurZucker merged 11 commits intomainfrom
fix-red-ci
May 27, 2025
Merged

clippy#1781
ArthurZucker merged 11 commits intomainfrom
fix-red-ci

Conversation

@ArthurZucker
Copy link
Copy Markdown
Collaborator

@ArthurZucker ArthurZucker commented May 27, 2025

Fix red main with clippy

@ArthurZucker ArthurZucker marked this pull request as ready for review May 27, 2025 07:00
@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.

@ArthurZucker ArthurZucker merged commit 01f8bc8 into main May 27, 2025
30 checks passed
@ArthurZucker ArthurZucker deleted the fix-red-ci branch May 27, 2025 09:30
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