scripts-dev/lint.sh · 3a446c21f81ee1c33225b499972dce30882056e2 · Maunium / synapse · GitLab

Snippets Groups Projects

4 years ago
f380bb77
Use 'dmypy run' in lint.sh instead of 'mypy' (#9701) · f380bb77
Andrew Morgan authored 4 years ago
```
For it's obvious performance benefits. `dmypy` support landed in #9692.
```
f380bb77

History
Use 'dmypy run' in lint.sh instead of 'mypy' (#9701)
Andrew Morgan authored 4 years ago
```
For it's obvious performance benefits. `dmypy` support landed in #9692.
```