diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 59eff8914dd7575daa0123114874d15c2fc8d599..d2e2cff11fec297158f095731b6f0e3bffb1cbde 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -19,7 +19,7 @@ typechecker: - $ENABLE_NIGHTLY_BUILDS image: i10git.cs.fau.de:5005/pycodegen/pycodegen/full script: - - apt-get install pyright - - pyright pystencilssfg + - pip install mypy + - mypy pystencilssfg tags: - docker