From 9cf78f4636ddebf7d01ee328bd3f97f03cce13fe Mon Sep 17 00:00:00 2001
From: Alexander Hinneburg <alexander.hinneburg@informatik.uni-halle.de>
Date: Fri, 10 Nov 2023 13:00:34 +0000
Subject: [PATCH] Update .gitlab-ci.yml
---
.gitlab-ci.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f68c96a..35df96e 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -11,7 +11,7 @@ docker-build:
# All branches are tagged with $DOCKER_IMAGE_NAME (defaults to commit ref slug)
# Default branch is also tagged with `latest`
script:
- - docker build --pull -t "$DOCKER_IMAGE_NAME" .
+ - docker build -t "$DOCKER_IMAGE_NAME" . # --pull -t "$DOCKER_IMAGE_NAME" .
- docker push "$DOCKER_IMAGE_NAME"
- |
if [[ "$CI_COMMIT_BRANCH" == "$CI_DEFAULT_BRANCH" ]]; then
--
GitLab