Add type-checking to CI

`poetry.lock` was updated with `poetry lock --no-update`.

`types-pytz` may need to be a runtime dependency.

No effects were observed on Make-managed files.

Disclaimer:
Participation by NIST in the creation of the documentation of mentioned
software is not intended to imply a recommendation or endorsement by the
National Institute of Standards and Technology, nor is it intended to
imply that any specific software is necessarily the best available for
the purpose.

Signed-off-by: Alex Nelson <alexander.nelson@nist.gov>

Author: ajnelson-nist

.github/workflows/ci.yml

@@ -30,6 +30,9 @@ jobs:
       - name: Pre-commit Checks
         run: pre-commit run --all-files
 
+      - name: Type Checking
+        run: poetry run mypy case_mapping example.py tests
+
       - name: Unit Tests
         run: poetry run pytest
 

Makefile

@@ -34,6 +34,9 @@ all: \
   .venv-pre-commit/var/.pre-commit-built.log \
   case.jsonld
 
+.PHONY: \
+  check-mypy
+
 # This virtual environment is meant to be built once and then persist, even through 'make clean'.
 # If a recipe is written to remove this flag file, it should first run `pre-commit uninstall`.
 .venv-pre-commit/var/.pre-commit-built.log:
@@ -82,6 +85,15 @@ case.jsonld: \
 	mv _$@ $@
 
 check: \
-  all
+  all \
+  check-mypy
 	source venv/bin/activate \
 	  && poetry run pytest
+
+check-mypy: \
+  .venv.done.log
+	source venv/bin/activate \
+	  && mypy \
+	    case_mapping \
+	    example.py \
+	    tests

poetry.lock

@@ -23,7 +23,9 @@ python = "^3.9"
 pytz = "^2023.3.post1"
 
 [tool.poetry.dev-dependencies]
+mypy = "^1"
 pytest = "^7.4.2"
+types-pytz = "^2024"
 
 [build-system]
 requires = ["poetry-core"]