diff options
| -rw-r--r-- | .jenkins/Jenkinsfile-wheel-builder | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.jenkins/Jenkinsfile-wheel-builder b/.jenkins/Jenkinsfile-wheel-builder index 3ce9a45..8014bce 100644 --- a/.jenkins/Jenkinsfile-wheel-builder +++ b/.jenkins/Jenkinsfile-wheel-builder @@ -128,7 +128,9 @@ for (config in configs) { builders[combinedName] = { node(label) { stage(combinedName) { - docker.image(imageName).inside("-u root") { + buildImage = docker.image(imageName) + buildImage.pull() + buildImage.inside("-u root") { build(version, label, imageName) } } |