ci: use mainline mypy

no need to run the custom-built version anymore
This commit is contained in:
mathieui 2021-07-02 21:00:17 +02:00
parent 2b3cde233f
commit 66c615fd94

View file

@ -115,11 +115,11 @@ pylint-plugins:
- python3 setup.py install - python3 setup.py install
- pylint -E plugins - pylint -E plugins
mypyc: mypy:
stage: lint stage: lint
image: python:3 image: python:3
script: 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 - pip install "typed_ast>=1.4.0,<1.5.0" types-pkg_resources
- mypy --ignore-missing-imports ./poezio - mypy --ignore-missing-imports ./poezio
- mypy --ignore-missing-imports ./plugins - mypy --ignore-missing-imports ./plugins