diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile index ef1f36684677bec7d2240facd91efba96975c351..faa5f5a65eea8582f889b59ef69468234bf6d944 100644 --- a/ci/Jenkinsfile +++ b/ci/Jenkinsfile @@ -71,7 +71,7 @@ pipeline { """ docker.withRegistry("https://${env.CI_DOCKER_REGISTRY}", dockerRegistryCred) { - docker.build("${env.CI_DOCKER_REGISTRY}/pressure-vessel", '-f src/ci/Dockerfile').inside("--mount type=tmpfs,destination=/var/cache/apt/archives ${env.CI_DOCKER_OPTIONS}") { + docker.build("${env.CI_DOCKER_REGISTRY}/pressure-vessel", '-f src/ci/Dockerfile src/ci').inside("--mount type=tmpfs,destination=/var/cache/apt/archives ${env.CI_DOCKER_OPTIONS}") { sh ''' set -eu cd src