Skip to content

Update mypy and run it on all the files#37

Merged
Swatinem merged 1 commit intomainfrom swatinem/mypy-all-the-thingsNov 18, 2024

Commits

Commits on Nov 18, 2024