Skip to content

Move from mypy to ty#478

Draft
paddyroddy wants to merge 23 commits intomainfrom
issue-477
Draft

Move from mypy to ty#478
paddyroddy wants to merge 23 commits intomainfrom
issue-477

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Swap ty for mypy

1 participant