summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJfriedli2021-06-13 12:36:24 +0200
committerJfriedli2021-06-13 12:36:24 +0200
commit73106611ec3da26e8856f2988f1bfaee6305be87 (patch)
tree0dc30058c3a078aedff5c42d1a57ef8071b7943e
parenta7697003dbd6fd022dc43fe4b655ce4ff4f70ab8 (diff)
ensure types are installed
-rw-r--r--.gitlab-ci.yml1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 0369d3e..e368853 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -23,6 +23,7 @@ mypy:
23 - apt-get -qqy update 23 - apt-get -qqy update
24 - apt-get -qqy install --no-install-recommends python3-pip 24 - apt-get -qqy install --no-install-recommends python3-pip
25 - pip3 install mypy 25 - pip3 install mypy
26 - pip3 install -r requirements.txt
26 - mypy --ignore-missing-imports main.py 27 - mypy --ignore-missing-imports main.py
27 28
28bandit: 29bandit: