message: bugfix, tell mypy to check for python files inside examples
diff: @@ -36,7 +36,7 @@ clang_format && echo "===> clang-format says: well done <===" &&
  pylint --rcfile=pylint.ini benchmarks examples xain && echo "===> pylint says: well done <===" &&
  # type checks
  -mypy --ignore-missing-imports benchmarks examples xain && echo "===> mypy says: well done <===" &&
  +mypy --ignore-missing-imports benchmarks examples/* xain && echo "===> mypy says: well done <===" &&
  # documentation checks
  (cd docs/ && SPHINXOPTS="-W" make docs) && echo "===> sphinx-build says: well done <===" &&
  