Closed MatthiasValvekens closed 2 years ago
This PR fixes all current mypy warnings (other than missing stubs for libraries for which there are none available) and adds a GitHub workflow to enforce type-correctness. Fixes #2.
This PR fixes all current mypy warnings (other than missing stubs for libraries for which there are none available) and adds a GitHub workflow to enforce type-correctness. Fixes #2.