Skip to content
Snippets Groups Projects
Select Git revision
0 results
Compare
user avatar
Use 'dmypy run' in lint.sh instead of 'mypy' (#9701)
Andrew Morgan authored 
For it's obvious performance benefits. `dmypy` support landed in #9692.
f380bb77
History
user avatar f380bb77
History
Name Last commit Last update