From 3de18f61c392cac196770ded46a94c1cf337d614 Mon Sep 17 00:00:00 2001
From: Eric Kilmer <eric.d.kilmer@gmail.com>
Date: Mon, 16 Dec 2019 11:24:29 -0500
Subject: [PATCH] Run mypy on manticore directory by default (#1573)

Use explicit file path in mypy.ini for default runs
---
 .github/workflows/ci.yml | 2 +-
 mypy.ini                 | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

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]