chore: add make type target (#35015)

This commit is contained in:
Mason Daugherty
2026-02-04 16:16:52 -05:00
committed by GitHub
parent 8e4c433541
commit 1bb366315f
21 changed files with 105 additions and 21 deletions

View File

@@ -1,4 +1,4 @@
.PHONY: all format lint test tests integration_tests help extended_tests
.PHONY: all format lint type test tests integration_tests help extended_tests
# Default target executed when no arguments are given to make.
all: help
@@ -41,6 +41,9 @@ lint lint_diff lint_package lint_tests:
[ "$(PYTHON_FILES)" = "" ] || uv run --all-groups ruff format $(PYTHON_FILES) --diff
[ "$(PYTHON_FILES)" = "" ] || mkdir -p $(MYPY_CACHE) && uv run --all-groups mypy $(PYTHON_FILES) --cache-dir $(MYPY_CACHE)
type:
mkdir -p $(MYPY_CACHE) && uv run --all-groups mypy $(PYTHON_FILES) --cache-dir $(MYPY_CACHE)
format format_diff:
[ "$(PYTHON_FILES)" = "" ] || uv run --all-groups ruff format $(PYTHON_FILES)
[ "$(PYTHON_FILES)" = "" ] || uv run --all-groups ruff check --fix $(PYTHON_FILES)
@@ -57,6 +60,7 @@ help:
@echo 'check_imports - check imports'
@echo 'format - run code formatters'
@echo 'lint - run linters'
@echo 'type - run type checking'
@echo 'test - run unit tests'
@echo 'tests - run unit tests'
@echo 'test TEST_FILE=<test_file> - run all tests in file'