diff options
| author | David Robertson <davidr@element.io> | 2021-10-11 17:42:10 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-11 17:42:10 +0100 |
| commit | e0f11ae4a5688a0521f20f36e440c87cfccfd69a (patch) | |
| tree | 8b10d1d2c36fae9d12adba20e544164206c9adcc /mypy.ini | |
| parent | Include the requirements for [mypy,lint] in [dev] (#11034) (diff) | |
| download | synapse-e0f11ae4a5688a0521f20f36e440c87cfccfd69a.tar.xz | |
disallow-untyped-defs for synapse.push (#11023)
Diffstat (limited to 'mypy.ini')
| -rw-r--r-- | mypy.ini | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/mypy.ini b/mypy.ini index bc2b59ff56..a7019e2bd4 100644 --- a/mypy.ini +++ b/mypy.ini @@ -96,6 +96,9 @@ files = [mypy-synapse.handlers.*] disallow_untyped_defs = True +[mypy-synapse.push.*] +disallow_untyped_defs = True + [mypy-synapse.rest.*] disallow_untyped_defs = True |