Skip to content

Fix linting - #47807

Merged
Cyrilvallez merged 1 commit into
mainfrom
fix-ty
Aug 6, 2026
Merged

Fix linting#47807
Cyrilvallez merged 1 commit into
mainfrom
fix-ty

Conversation

@Cyrilvallez

@Cyrilvallez Cyrilvallez commented Aug 6, 2026

Copy link
Copy Markdown
Member

CI

What does this PR do?

As per the title. This has been failing since a few days

@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.

@github-actions

github-actions Bot commented Aug 6, 2026

Copy link
Copy Markdown
Contributor

CI recap

Dashboard: View test results in Grafana
Latest run: 31065538680:1
Result: success | Jobs: 16 | Tests: 159,761 | Failures: 0 | Duration: 15h 38m

@Cyrilvallez
Cyrilvallez merged commit 2eaaa20 into main Aug 6, 2026
113 checks passed
@Cyrilvallez
Cyrilvallez deleted the fix-ty branch August 6, 2026 02:41
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