From 1cdc7afd2dcf6daff8907dbc9210c80aabf782f7 Mon Sep 17 00:00:00 2001
From: Lars Bilke <lars.bilke@ufz.de>
Date: Fri, 9 Aug 2019 14:15:25 +0200
Subject: [PATCH] [Jenkins] Retry push docker image on failure.
---
Jenkinsfile | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/Jenkinsfile b/Jenkinsfile
index 4446559cd04..ee16de02e9b 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -687,10 +687,12 @@ pipeline {
def clangImage = docker.build("ogs6/clang:latest", "-f Dockerfile.clang.full .")
withCredentials([usernamePassword(credentialsId: 'docker-hub-credentials',
passwordVariable: 'pw', usernameVariable: 'docker_user')]) {
- sh 'echo $pw | docker login -u $docker_user --password-stdin'
+ sh 'echo $pw | docker login -u $docker_user --password-stdin'
+ retry(3) {
gccImage.push()
gccGuiImage.push()
clangImage.push()
+ }
}
}
}
--
GitLab