commit c033c901fe9ca31c2f4cb3e12ddd72ca9eca5bf2
author Paul Kehrer <paul.l.kehrer@gmail.com> Fri Jul 07 13:20:29 2017 -0500
committer Alex Gaynor <alex.gaynor@gmail.com> Fri Jul 07 14:20:29 2017 -0400
tree 5f6737400d0da3df80ac1e5342a5126b049c7279
parent f564b7e4cfc7a449a0bbf1a53fa20767a8b92bce

explicitly pull the latest docker image in jenkins (#3760)

* explicitly pull the latest docker image in jenkins

Right now we don't need to do this since the same jenkins instance that
builds the images and tags them also pushes them, so it is guaranteed to
always have the latest. However, if we want to add another docker
builder that is no longer true, so let's always pull

* mos(t) def

* also this one

Jenkinsfile

diff --git a/Jenkinsfile b/Jenkinsfile
index 3492b54..c7710d6 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -306,7 +306,9 @@
             builders[combinedName] = {
                 node(label) {
                     stage(combinedName) {
-                        docker.image(imageName).inside {
+                        def buildImage = docker.image(imageName)
+                        buildImage.pull()
+                        buildImage.inside {
                             build(toxenv, label, imageName, artifacts, artifactExcludes)
                         }
                     }