diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index fefedf80ba0d0b166d89ddf4eb0259f9b0067a79..0e516665c32cb251afd5d79488e9d0e1d57f170b 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -8,7 +8,6 @@ build-docker: image: docker:latest script: - docker login -u gitlab-ci-token -p $CI_JOB_TOKEN $CI_REGISTRY - - docker pull i10git.cs.fau.de:5005/hoenig/factorio-optimizer/factorio-optimizer/latex - docker build --pull . -f Dockerfile -t i10git.cs.fau.de:5005/hoenig/factorio-optimizer/factorio-optimizer/latex - docker push i10git.cs.fau.de:5005/hoenig/factorio-optimizer/factorio-optimizer/latex tags: