From 858fa34996c45fa7a91c379db10382fe7e853f9a Mon Sep 17 00:00:00 2001 From: Ivan Krutov Date: Thu, 17 Nov 2022 12:34:22 +0300 Subject: [PATCH] Building Docker image with --pull --- ci/docker-push.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci/docker-push.sh b/ci/docker-push.sh index 5a658b5..5bbbffb 100755 --- a/ci/docker-push.sh +++ b/ci/docker-push.sh @@ -2,7 +2,7 @@ set -e -docker build -t "$GITHUB_REPOSITORY" -t "$GITHUB_REPOSITORY:$1" . docker login -u="$DOCKER_USERNAME" -p="$DOCKER_PASSWORD" +docker build --pull -t "$GITHUB_REPOSITORY" -t "$GITHUB_REPOSITORY:$1" . docker push "$GITHUB_REPOSITORY" docker push "$GITHUB_REPOSITORY:$1"