diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index a89284abf85cf76c9af147b477e958b61e5bc96e..2cfbc7d64ddbfda4a8f4782d0ea8cdec9ae5f122 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -10,9 +10,9 @@ linter: except: variables: - $ENABLE_NIGHTLY_BUILDS - image: i10git.cs.fau.de:5005/pycodegen/pycodegen/full + image: thekevjames/nox:2019.11.9 script: - - flake8 src/pystencilssfg + - nox --session lint tags: - docker @@ -22,10 +22,9 @@ typechecker: except: variables: - $ENABLE_NIGHTLY_BUILDS - image: i10git.cs.fau.de:5005/pycodegen/pycodegen/full + image: thekevjames/nox:2019.11.9 script: - - pip install mypy - - mypy src/pystencilssfg + - nox --session typecheck tags: - docker