summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorGiel van Schijndel <giel@mortis.eu>2021-04-23 12:50:07 +0200
committerGiel van Schijndel <giel@mortis.eu>2021-04-23 15:23:11 +0200
commit043e15fe140cfff8725d4f615f42fa1c55779402 (patch)
tree7bffff60a75770882832eec5ff2efcac9741139f /.github
parent76ba0924be14d55d01db0506b3e6a930cc72bf0d (diff)
downloadgitpython-043e15fe140cfff8725d4f615f42fa1c55779402.tar.gz
ci: check types with mypy
This will result in _partial_ type checking of the type annotations by using mypy. Keep in mind though that mypy is performing _static_ analysis in a _dynamic_ language so it can only partially check for correctness. Some other tool(s) will be needed to have more complete type checking at runtime. E.g. [typeguard]. [typeguard]: https://pypi.org/project/typeguard/
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/pythonpackage.yml5
1 files changed, 5 insertions, 0 deletions
diff --git a/.github/workflows/pythonpackage.yml b/.github/workflows/pythonpackage.yml
index eb5c894e..3c7215cb 100644
--- a/.github/workflows/pythonpackage.yml
+++ b/.github/workflows/pythonpackage.yml
@@ -47,6 +47,11 @@ jobs:
pip install flake8
# stop the build if there are Python syntax errors or undefined names
flake8 --ignore=W293,E265,E266,W503,W504,E731 --count --show-source --statistics
+ - name: Check types with mypy
+ run: |
+ set -x
+ pip install tox
+ tox -e type
- name: Test with nose
run: |
set -x