diff options
| -rw-r--r-- | .gitlab-ci.yml | 4 |
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 |