huggingface_hub
[Internal] remove new `unused-type-ignore-comment` warning from `ty`
#3803
Merged
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Overview
Commits
1
Changes
View On
GitHub
[Internal] remove new `unused-type-ignore-comment` warning from `ty`
#3803
hanouticelina
merged 1 commit into
main
from
ty-quality
Suppress new `unused-type-ignore-comment` warning from `ty`
27a3bc90
Wauplin
approved these changes on 2026-02-12
hanouticelina
merged
34b7eea8
into main
241 days ago
hanouticelina
deleted the ty-quality branch
241 days ago
Login to write a write a comment.
Login via GitHub
Reviewers
Wauplin
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub