Implement mypy checks at the CI level #43
Description
It's installed, and if your editor is configured it'll use it, but we're not running it pre-merge.
{{ message }}
It's installed, and if your editor is configured it'll use it, but we're not running it pre-merge.