mirror/mbedtls
1
0
Fork 0
mirror of https://github.com/Mbed-TLS/mbedtls.git synced 2025-02-24 15:40:03 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge pull request #5588 from gilles-peskine-arm/mypy-on-jenkins

Browse Source 
Make mypy unconditional
This commit is contained in:
Gilles Peskine 2022-03-01 20:48:42 +01:00 committed by GitHub
commit a9b4c436ee
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
tests/scripts/check-python-files.sh
View File

@ -17,7 +17,7 @@
# Purpose: check Python files for potential programming errors or maintenance # Purpose: check Python files for potential programming errors or maintenance
# hurdles. Run pylint to detect some potential mistakes and enforce PEP8 # hurdles. Run pylint to detect some potential mistakes and enforce PEP8
# coding standards. If available, run mypy to perform static type checking. # coding standards. Run mypy to perform static type checking.
# We'll keep going on errors and report the status at the end. # We'll keep going on errors and report the status at the end.
ret=0 ret=0
@ -72,12 +72,9 @@ $PYTHON -m pylint -j 2 scripts/mbedtls_dev/*.py scripts/*.py tests/scripts/*.py
ret=1 ret=1
} }
# Check types if mypy is available
if can_mypy; then
echo echo
echo 'Running mypy ...' echo 'Running mypy ...'
$PYTHON -m mypy scripts/*.py tests/scripts/*.py || $PYTHON -m mypy scripts/*.py tests/scripts/*.py ||
ret=1 ret=1
fi
exit $ret exit $ret