Andrew Morgan f380bb77d1 Use 'dmypy run' in lint.sh instead of 'mypy' (#9701) ...

For it's obvious performance benefits. `dmypy` support landed in #9692.

2021-03-30 10:30:43 +01:00

2.4 KiB

Executable File

Raw Blame History

View Raw