Check types with mypy in pipeline

Author: l0b0

scripts/test

@@ -17,6 +17,12 @@ if [ "${BASH_SOURCE[0]}" = "${0}" ]; then
     if [ "${1:-}" = "--help" ]; then
         usage
     else
+        echo
+        echo " -- CHECKING TYPES WITH MYPY --"
+        echo
+
+        mypy docs pystac setup.py tests
+
         echo
         echo " -- CHECKING TYPES WITH PYRIGHT --"
         echo