Run mypy on manticore directory by default (#1573)

Use explicit file path in mypy.ini for default runs
trailofbits · Dec 16, 2019 · 3de18f6 · 3de18f6
1 parent 1c67927
commit 3de18f6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -29,7 +29,7 @@ jobs:
         black --version
         git diff --name-only $BASE_SHA..$HEAD_SHA | python scripts/pyfile_exists.py | xargs black --diff --check
         mypy --version
-        mypy manticore
+        mypy
   tests:
     runs-on: ubuntu-latest
     strategy:

diff --git a/mypy.ini b/mypy.ini
@@ -1,5 +1,6 @@
 [mypy]
 python_version = 3.6
+files = manticore
 
 # Generated file
 [mypy-manticore.ethereum.parsetab]