From 66c615fd94ae90772d5aa5ca3ab3b49487615f73 Mon Sep 17 00:00:00 2001 From: mathieui Date: Fri, 2 Jul 2021 21:00:17 +0200 Subject: [PATCH] ci: use mainline mypy no need to run the custom-built version anymore --- .gitlab-ci.yml | 4 ++-- 1 file 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