fix tox -e mypy

tox-dev · May 3, 2022 · 0462145 · 0462145
1 parent 50b7cd4
commit 0462145
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/ci.sh b/ci.sh
@@ -5,6 +5,12 @@ set -x
 tox_version=$1
 docker_version=$2
 
+if [ "$tox_version" = "tox-4.x" ]; then
+    mypy_target=mypy-tox4
+else
+    mypy_target=mypy-tox3
+fi
+
 
 # our tox.ini sets up volumes within .tox, so make sure it exists
 # before trying to run tox...