Anders Kaseorg
|
34012a4015
|
mypy: Add stubs for zephyr.
Signed-off-by: Anders Kaseorg <anders@zulip.com>
|
2021-03-10 23:59:15 -08:00 |
|
|
Anders Kaseorg
|
717a549f4b
|
mypy: Prohibit unreachable code.
Signed-off-by: Anders Kaseorg <anders@zulip.com>
|
2021-03-04 15:17:09 -08:00 |
|
|
Anders Kaseorg
|
30f241a126
|
mypy: Remove unused type: ignore comments.
Signed-off-by: Anders Kaseorg <anders@zulip.com>
|
2021-03-04 15:09:58 -08:00 |
|
|
neiljp (Neil Pilgrim)
|
55aff6f64b
|
mypy: Improve typing of bots & API; enforce no_implicit_optional.
|
2018-04-06 13:45:11 -04:00 |
|
|
neiljp (Neil Pilgrim)
|
7dc0703397
|
tools: Move strict-optional to mypy.ini & remove option from run-mypy.
|
2018-04-06 13:45:11 -04:00 |
|
|
neiljp (Neil Pilgrim)
|
6cbe1f5ba7
|
tools: Migrate core run-mypy options to mypy.ini.
Add traceback option, as used in core Zulip run-mypy.
|
2018-04-06 13:45:11 -04:00 |
|