Turn on type checking for the whole codebase

A partial fix for #1109
diofant · Jan 25, 2021 · d399f14 · d399f14
1 parent 49a590a
commit d399f14
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -42,7 +42,7 @@ jobs:
         flake8
         pylint diofant
     - name: Run type checks with mypy
-      run: mypy diofant/domains/ diofant/polys/ diofant/tests/domains/ diofant/tests/polys/
+      run: mypy diofant
     - name: Tests
       if: matrix.coverage == false
       env:

diff --git a/docs/guide.rst b/docs/guide.rst
@@ -85,6 +85,10 @@ All work should be submitted via `Pull Requests (PR)`_.
 
        pylint diofant
 
+   and do type checking::
+
+       mypy diofant
+
 8. If your change affects documentation, please build it by::
 
        python setup.py build_sphinx -W

diff --git a/docs/release/notes-0.13.rst b/docs/release/notes-0.13.rst
@@ -19,6 +19,8 @@ Minor changes
 Developer changes
 =================
 
+* Turn on type checking for the whole codebase, see :pull:`1114`.
+
 Issues closed
 =============