infra[patch]: add base deps and fix docs lint (#13998)

This commit is contained in:
Bagatur
2023-11-28 17:27:37 -08:00
committed by GitHub
parent 926d4cfda7
commit 14799b139a
8 changed files with 48 additions and 19 deletions

View File

@@ -30,6 +30,7 @@ lint lint_diff:
./scripts/check_imports.sh
poetry run ruff .
[ "$(PYTHON_FILES)" = "" ] || poetry run ruff format $(PYTHON_FILES) --diff
[ "$(PYTHON_FILES)" = "" ] || poetry run ruff --select I $(PYTHON_FILES)
[ "$(PYTHON_FILES)" = "" ] || poetry run mypy $(PYTHON_FILES)
format format_diff: