type_check.yml: make mypy check optional

Author: jeffjennings

.github/workflows/type_check.yml

@@ -27,4 +27,6 @@ jobs:
         run: pip install .
 
       - name: Run `mypy` type checker
+        # proceed even if mypy checking fails:
+        continue-on-error: true
         run: mypy --strict .