Skip to content

[chore] remove explicit typing where possible.#212

Merged
danieldk merged 4 commits into
mainfrom
typing-mod
Jan 16, 2026
Merged

[chore] remove explicit typing where possible.#212
danieldk merged 4 commits into
mainfrom
typing-mod

Conversation

@sayakpaul
Copy link
Copy Markdown
Member

As discussed.

@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

@danieldk danieldk left a comment

Choose a reason for hiding this comment

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

Really nice!

@danieldk danieldk merged commit 931da9a into main Jan 16, 2026
15 checks passed
@danieldk danieldk deleted the typing-mod branch January 16, 2026 12:49
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