diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile index 5abeb0edea296e443d3864e23e18e82641a3b26b..137bdb1200539387c8fae992920a05773ba4c378 100644 --- a/ci/Jenkinsfile +++ b/ci/Jenkinsfile @@ -121,7 +121,7 @@ pipeline { script { docker.withRegistry("https://${env.CI_DOCKER_REGISTRY}", dockerRegistryCred) { - docker.build("${env.CI_DOCKER_REGISTRY}/pressure-vessel", '-f src/ci/Dockerfile src/ci').inside("${env.CI_DOCKER_OPTIONS}") { + docker.build("${env.CI_DOCKER_REGISTRY}/pressure-vessel", '--no-cache --pull -f src/ci/Dockerfile src/ci').inside("${env.CI_DOCKER_OPTIONS}") { sh ''' set -eu cd src