diff options
| author | Richard van der Hoff <1389908+richvdh@users.noreply.github.com> | 2020-12-17 22:58:00 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-17 22:58:00 +0000 |
| commit | f1db20b5a5c403bb6a72026b2478b0ff6ee3aaee (patch) | |
| tree | c76ed76bc16ac404cca1ba7e9c40407a3050120e /mypy.ini | |
| parent | Fix `UsersListTestCase` (#8964) (diff) | |
| download | synapse-f1db20b5a5c403bb6a72026b2478b0ff6ee3aaee.tar.xz | |
Clean up tox.ini (#8963)
... and disable coverage tracking for mypy and friends.
Diffstat (limited to 'mypy.ini')
| -rw-r--r-- | mypy.ini | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/mypy.ini b/mypy.ini index 1904204025..0518d3f1af 100644 --- a/mypy.ini +++ b/mypy.ini @@ -7,6 +7,11 @@ show_error_codes = True show_traceback = True mypy_path = stubs warn_unreachable = True + +# To find all folders that pass mypy you run: +# +# find synapse/* -type d -not -name __pycache__ -exec bash -c "mypy '{}' > /dev/null" \; -print + files = scripts-dev/sign_json, synapse/api, |