Deimos 5eecb189ac Update mypy to 0.730 ...

There are some new capabilities in mypy 0.730, including nicer output
formatting, which this enables. I'd also like to be able to use the
specific error-code ignoring instead of the current all-encompassing
"type: ignore" comments, but there's currently an issue with that:
https://github.com/python/mypy/issues/7562

2019-09-26 12:10:49 -06:00

..

pre-commit

Update mypy to 0.730

2019-09-26 12:10:49 -06:00

pre-push

Update mypy to 0.730

2019-09-26 12:10:49 -06:00