build system

pudo · Oct 7, 2023 · f0613d0 · f0613d0
1 parent 163842f
commit f0613d0
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 3 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -24,10 +24,10 @@ jobs:
         pip install -e ".[dev]"
     - name: Validate mypy typing
       run: |
-        mypy --strict normality
+        make typecheck
     - name: Run unit tests
       run: |
-        pytest
+        make test
     - name: Build a distribution
       run: |
         python -m build -nwsx

diff --git a/Makefile b/Makefile
@@ -4,8 +4,12 @@ all: clean test
 install:
 	pip install -q '.[dev]'
 
-test: install
+check: test typecheck
+
+test:
 	pytest
+
+typecheck:
 	mypy --strict normality
 
 clean: