requirements: Upgrade mypy from 0.790 to 0.812.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
Anders Kaseorg 2021-03-04 14:16:37 -08:00
parent 922446ddf4
commit edcb894776

View file

@ -8,5 +8,5 @@ pytest
-e ./zulip_bots -e ./zulip_bots
-e ./zulip_botserver -e ./zulip_botserver
-e git+https://github.com/zulip/zulint@14e3974001bf8442a6a3486125865660f1f2eb68#egg=zulint==1.0.0 -e git+https://github.com/zulip/zulint@14e3974001bf8442a6a3486125865660f1f2eb68#egg=zulint==1.0.0
mypy==0.790 mypy==0.812
gitlint>=0.13.0 gitlint>=0.13.0