scripts-dev/lint.sh · f380bb77d19e7dd4ee6f61cd489e240ee4aa8fc2 · Timo Ley / synapse · GitLab

Snippets Groups Projects

Forked from Maunium / synapse

Source project has a limited visibility.

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.
```