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

Conversation

@ValerianRey

Copy link
Copy Markdown
Member

No description provided.

@ValerianRey ValerianRey requested a review from a team as a code owner June 15, 2026 14:00
@ValerianRey ValerianRey added the cc: typing Conventional commit type for improvements to typing. label Jun 15, 2026
@github-actions github-actions Bot changed the title Remove outdated ty ignore comment leading to ty warning typing: Remove outdated ty ignore comment leading to ty warning Jun 15, 2026
@ValerianRey ValerianRey merged commit a87a572 into main Jun 15, 2026
15 of 16 checks passed
@ValerianRey ValerianRey deleted the remove-ty-ignore-comment branch June 15, 2026 14:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cc: typing Conventional commit type for improvements to typing.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant