set -e
for dir in $(echo '.' 'plomtask' 'tests'); do
echo "Running mypy on ${dir}/ …."
- python3 -m mypy ${dir}/*.py
+ python3 -m mypy --strict ${dir}/*.py
echo "Running flake8 on ${dir}/ …"
python3 -m flake8 ${dir}/*.py
echo "Running pylint on ${dir}/ …"