From eddc5636e6bbcbaaac9f039b64358c416fd9b4b9 Mon Sep 17 00:00:00 2001
From: Manuel Weberndorfer <manuel.weberndorfer@id.ethz.ch>
Date: Thu, 15 Jul 2021 08:15:03 +0000
Subject: [PATCH] require python 3.7 in mypy check
---
.gitlab-ci.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d3a1cffe..10cb3277 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -84,7 +84,7 @@ check-script:
script:
- find . -name "*.py" -print0 | xargs -0 python3 -m black --check
- find . -name "*.py" -print0 | xargs -0 python3 -m pylint
- - find . -name "*.py" -print0 | xargs -0 python3 -m mypy --python-version 3.5 --ignore-missing
+ - find . -name "*.py" -print0 | xargs -0 python3 -m mypy --python-version 3.7 --ignore-missing
- find . -name "*.py" -print0 | xargs -0 python3 -m doctest
build-library:
--
GitLab