diff --git a/Jenkinsfile b/Jenkinsfile index d8921ec..6a0e342 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -132,7 +132,7 @@ pipeline { withCredentials([usernamePassword(credentialsId: "${NODE_CREDENTIALS}", usernameVariable: 'JENKINS_NODE_USERNAME', passwordVariable: 'JENKINS_NODE_PASSWORD')]) { sh ''' set -euo pipefail - DOCKER_BUILDKIT=1 ./scripts/ci-docker.sh build --network host --progress=plain \ + DOCKER_BUILDKIT=1 ./scripts/ci-docker.sh build --network host --progress=plain --provenance=false \ --build-arg PIP_INDEX_URL="$PIP_INDEX_URL" \ --build-arg HTTP_PROXY="$HTTP_PROXY_URL" --build-arg HTTPS_PROXY="$HTTP_PROXY_URL" \ --build-arg NO_PROXY="$NO_PROXY_HOSTS" -t "$IMAGE_REF" .