summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.gitlab-ci.yml4
1 files changed, 2 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index b9338127..83518f72 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -115,11 +115,11 @@ pylint-plugins:
- python3 setup.py install
- pylint -E plugins
-mypyc:
+mypy:
stage: lint
image: python:3
script:
- - pip3 install https://lab.louiz.org/mathieui/poezio/-/raw/mypy-custom-build/mypy-0.820+dev.ceca581e385f5438bcb7d7c3e8f94aadb7085f77-py3-none-any.whl
+ - pip3 install mypy
- pip install "typed_ast>=1.4.0,<1.5.0" types-pkg_resources
- mypy --ignore-missing-imports ./poezio
- mypy --ignore-missing-imports ./plugins