diff --git a/platform/Jenkinsfile b/platform/Jenkinsfile index 16bbb02..ab47fe8 100644 --- a/platform/Jenkinsfile +++ b/platform/Jenkinsfile @@ -11,21 +11,22 @@ pipeline { skipDefaultCheckout() } - stages { - stage('Checkout') { + stage('Checkout') { steps { - checkout([ - $class: 'GitSCM', - branches: scm.branches, - userRemoteConfigs: scm.userRemoteConfigs, - extensions: [[ - $class: 'CloneOption', - shallow: true, - depth: 1, - noTags: true, - timeout: 20 - ]] - ]) + retry(5) { + checkout([ + $class: 'GitSCM', + branches: scm.branches, + userRemoteConfigs: scm.userRemoteConfigs, + extensions: [[ + $class: 'CloneOption', + shallow: true, + depth: 1, + noTags: true, + timeout: 30 + ]] + ]) + } } }