Makefile: combine pylint and pytype into lint-python target

.github/workflows/lint-python.yml → .github/workflows/lint-pylint.yml

-name: lint-python
+name: lint-pylint
 
 on:
   pull_request:
@@ -6,7 +6,7 @@ on:
     branches: [main]
 
 jobs:
-  lint-python:
+  lint-pylint:
     runs-on: ubuntu-22.04
     steps:
     - uses: actions/checkout@v4
@@ -16,4 +16,4 @@ jobs:
         architecture: 'x64'
         cache: pip
     - run: pip install -r requirements.txt
-    - run: make lint-python
+    - run: make lint-pylint

Makefile

@@ -93,7 +93,7 @@ format-isort:
 	isort --skip experiments/simbricks/orchestration/utils/graphlib.py \
 		results/ experiments/ doc/
 
-lint-python:
+lint-pylint:
 	pylint -d missing-module-docstring,missing-class-docstring \
 		--ignore-paths experiments/simbricks/orchestration/utils/graphlib.py \
 	  	experiments/ results/
@@ -104,8 +104,9 @@ typecheck-python:
 			experiments/simbricks/orchestration/utils/graphlib.py \
 		-- experiments/ results/
 
+lint-python: lint-pylint typecheck-python
 lint: lint-cpplint lint-clang-format lint-python
-lint-all: lint lint-clang-tidy typecheck-python
+lint-all: lint lint-clang-tidy
 
 help:
 	@echo "Targets:"