Update mypy settings to use the new features of the 0.730 release

2026-09-18 15:48:44 +02:00 · 2019-09-26 19:36:01 +01:00
parent fc42f51c25
commit 6890c87995
3 changed files with 5 additions and 4 deletions
@@ -112,6 +112,6 @@ jobs:
    - name: Test with pytest
      run: |
        pytest
-#    - name: Check static type checking with mypy
+#    - name: Static type checking with mypy
 #      run: |
-#        mypy *.py
+#        mypy --pretty *.py