diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 5b5bd199f1d27f023b46ca240e0122a16ac09e27..d605879a98d5bb78a1350c8f8e8d586c49165ac9 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -31,19 +31,23 @@ test3-09: image: python:3.9 script: - make test+coverage - - make typing || /bin/true test3-10: stage: test image: python:3.10 script: - make test+coverage - - make typing || /bin/true test3-11: stage: test image: python:3.11 script: - make test+coverage - - make typing || /bin/true + +# check output from mypy, but do not fail on error code +typing: + stage: test-style + image: python:latest + script: + - make typing || /bin/true