lint: Upgrade zulint.
Signed-off-by: Anders Kaseorg <anders@zulipchat.com>
This commit is contained in:
parent
ddb05ea7eb
commit
75d1fe2b41
3 changed files with 12 additions and 7 deletions
|
@ -7,5 +7,5 @@ pytest
|
|||
-e ./zulip
|
||||
-e ./zulip_bots
|
||||
-e ./zulip_botserver
|
||||
-e git+https://github.com/zulip/zulint@aaed679f1ad38b230090eadd3870b7682500f60c#egg=zulint==1.0.0
|
||||
-e git+https://github.com/zulip/zulint@8cb430b64eec1e98ef637bafd06272ebe715aa87#egg=zulint==1.0.0
|
||||
mypy==0.770
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue