test: add unittest to run mypy

New unittest file consists of two tests. Both
run mypy, but one does so with arguments that are
expected to allow the test to pass. The other does
not provide those arguments and is expected to fail.
The expected failure is intentional, to serve as
an ongoing reminder to try to 1) move towards having
strict typing in the codebase and to 2) not
add any additional errors/warnings in the meantime.

Separated requirements into runtime (requirements.txt)
and additional development (requirements-dev.txt).
Modified devcontainer and workflow to reflect the
change.
This commit is contained in:
Robert Alonso
2024-10-28 18:28:52 +00:00
parent f1f17d8372
commit 649e50253b
5 changed files with 46 additions and 4 deletions

View File

@@ -12,7 +12,7 @@
// "forwardPorts": [],
// Use 'postCreateCommand' to run commands after the container is created.
"postCreateCommand": "pip3 install --user -r requirements.txt"
"postCreateCommand": "pip3 install --user -r requirements.txt -r requirements-dev.txt"
// Configure tool-specific properties.
// "customizations": {},