Skip to content

Add mypy config; run mypy in CI#286

Merged
AlexWaygood merged 2 commits intopython:mainfrom
AlexWaygood:mypy
May 10, 2023

Commits

Commits on May 2, 2023

Commits on May 5, 2023