Skip to content

Remove random flag#40629

Merged
Cyrilvallez merged 1 commit intomainfrom
remove-flag
Sep 2, 2025
Merged

Remove random flag#40629
Cyrilvallez merged 1 commit intomainfrom
remove-flag

Conversation

@Cyrilvallez
Copy link
Copy Markdown
Member

What does this PR do?

Checked offline with other team members. Its not used in any big downstream library

@github-actions
Copy link
Copy Markdown
Contributor

github-actions Bot commented Sep 2, 2025

[For maintainers] Suggested jobs to run (before merge)

run-slow: bamba, falcon_h1, falcon_mamba, granitemoehybrid, mamba, mamba2, zamba2

@Cyrilvallez Cyrilvallez merged commit ed49376 into main Sep 2, 2025
19 checks passed
@Cyrilvallez Cyrilvallez deleted the remove-flag branch September 2, 2025 17:10
@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.

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