From 429a12628035ce9502dcec0edb5ae91853d0f586 Mon Sep 17 00:00:00 2001
From: Sean Breckenridge <seanbrecke@gmail.com>
Date: Thu, 1 Jul 2021 09:55:05 -0700
Subject: [PATCH] ci: add install-types to install stub packages

---
 tox.ini | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/tox.ini b/tox.ini
index dace409..d19b791 100644
--- a/tox.ini
+++ b/tox.ini
@@ -59,7 +59,8 @@ commands =
     pip install -e .[testing,optional]
     pip install orgparse # used it core.orgmode?
     # todo add tests?
-    python3 -m mypy -p my.core \
+    python3 -m mypy --install-types --non-interactive \
+                    -p my.core \
                     --txt-report  .coverage.mypy-core \
                     --html-report .coverage.mypy-core \
                     {posargs}
@@ -89,7 +90,7 @@ commands =
 
     # todo fuck. -p my.github isn't checking the subpackages?? wtf...
     # guess it wants .pyi file??
-    python3 -m mypy \
+    python3 -m mypy --install-types --non-interactive \
                     -p my.endomondo                   \
                     -p my.github.ghexport             \
                     -p my.hypothesis                  \