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

Merge branch 'main' into remove-ty-ignore-comment

d252fc1
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Jun 15, 2026 in 1s

Coverage not affected when comparing 01e8599...d252fc1

View this Pull Request on Codecov

Coverage not affected when comparing 01e8599...d252fc1

View more details on Codecov