summary refs log tree commit diff
path: root/mypy.ini
diff options
context:
space:
mode:
Diffstat (limited to 'mypy.ini')
-rw-r--r--mypy.ini3
1 files changed, 3 insertions, 0 deletions
diff --git a/mypy.ini b/mypy.ini
index 64f9097206..34b4523e00 100644
--- a/mypy.ini
+++ b/mypy.ini
@@ -106,6 +106,9 @@ disallow_untyped_defs = False
 [mypy-tests.handlers.test_user_directory]
 disallow_untyped_defs = True
 
+[mypy-tests.push.test_bulk_push_rule_evaluator]
+disallow_untyped_defs = True
+
 [mypy-tests.test_server]
 disallow_untyped_defs = True