diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index bda04d346bb52e4d5ab0a9fc8dbb29b4a3182628..6e908e797e7146e87f1e60fc293f4351590788f4 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -10,7 +10,7 @@ linter: except: variables: - $ENABLE_NIGHTLY_BUILDS - image: thekevjames/nox:latest + image: i10git.cs.fau.de:5005/pycodegen/pycodegen/nox script: - nox --session lint tags: @@ -22,7 +22,7 @@ typechecker: except: variables: - $ENABLE_NIGHTLY_BUILDS - image: thekevjames/nox:latest + image: i10git.cs.fau.de:5005/pycodegen/pycodegen/nox script: - nox --session typecheck tags: