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"