diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 60ccda21e..cf7279645 100644
--- 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
index 45f51de15..f4c2c4bc7 100644
--- a/mypy.ini
+++ b/mypy.ini
@@ -1,5 +1,6 @@
 [mypy]
 python_version = 3.6
+files = manticore
 
 # Generated file
 [mypy-manticore.ethereum.parsetab]