lint: Remove gitlint from static analysis.
This commit is contained in:
parent
cce18ed11b
commit
c4a78d0832
|
@ -2,5 +2,5 @@
|
|||
|
||||
set -ev
|
||||
|
||||
tools/lint
|
||||
tools/lint --no-gitlint
|
||||
tools/run-mypy
|
||||
|
|
Loading…
Reference in a new issue