Skip to content

typing: Remove outdated ty ignore comment leading to ty warning#740

Merged
ValerianRey merged 2 commits into
mainfrom
remove-ty-ignore-comment
Jun 15, 2026
Merged

typing: Remove outdated ty ignore comment leading to ty warning#740
ValerianRey merged 2 commits into
mainfrom
remove-ty-ignore-comment

Commits