separate typecheck into its own make target

jakkdl · jakkdl · commit d75f1189d80c · 2024-06-17T11:22:12.000+02:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -27,6 +27,7 @@ jobs:
       - run: pip install . -r requirements-dev-full.txt
       - run: make test
       - run: make lint
+      - run: make typecheck
 
   build_and_test_old_deps:
     runs-on: ${{ matrix.os }}
diff --git a/Makefile b/Makefile
@@ -12,6 +12,8 @@ test:
 
 lint:
 	$(PYTHON) -m pylint trio_websocket/ tests/ autobahn/ examples/
+
+typecheck:
 	$(PYTHON) -m mypy --explicit-package-bases trio_websocket tests autobahn examples
 
 publish:
