test-static-analysis: Delete.
The only thing it did over ‘tools/lint --skip=gitlint’ was redundantly run mypy again. Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
parent
2e3c65a044
commit
922446ddf4
2 changed files with 1 additions and 7 deletions
|
@ -1,6 +0,0 @@
|
|||
#!/usr/bin/env bash
|
||||
|
||||
set -ev
|
||||
|
||||
tools/lint --skip=gitlint
|
||||
tools/run-mypy
|
Loading…
Add table
Add a link
Reference in a new issue