run mypy

tests: I don't know why but these tests are flaky #568

Sign in to view logs

Summary
Jobs
- run mypy
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
run mypy	26s
	26s