diff options
Diffstat (limited to 'Jenkinsfile')
| -rw-r--r-- | Jenkinsfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 2808239..eab4d03 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -61,6 +61,7 @@ pipeline { echo "$DOCKER_PASS" | docker login $REGISTRY -u "$DOCKER_USER" --password-stdin DOCKER_BUILDKIT=1 docker buildx build \ + --pull \ --platform ${PLATFORMS} \ -t ${IMAGE_NAME}:${GIT_SHA} \ -t ${IMAGE_NAME}:${VERSION} \ |