jenkins: Always pull the latest version of Docker containers

Signed-off-by: Michael Tremer <michael.tremer@ipfire.org>

diff --git a/Jenkinsfile b/Jenkinsfile
index 2d4d05a5c15548036da35ff99ffe28430a5d11ee..3e3bcbbe27e710fb65496f7d3f80093c60ce105d 100644 (file)
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -33,6 +33,9 @@ pipeline {
                                                // Run as root inside the containers to install dependencies
                                                args "-u root"
 
+                                               // Ensure that all images are always up to date
+                                               alwaysPull true
+
                                                customWorkspace "${JOB_NAME}/${BUILD_ID}/${env.DISTRO.replace(":", "-")}/${env.COMPILER}"
                                        }
                                }