[ci][docker] Add retries for docker pull (#12306)

apache · Aug 4, 2022 · 485bfaf · 485bfaf
1 parent 5d0367a
commit 485bfaf
Show file tree

Hide file tree

Showing 2 changed files with 30 additions and 3 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
diff --git a/ci/jenkins/Prepare.groovy.j2 b/ci/jenkins/Prepare.groovy.j2
@@ -76,7 +76,11 @@ def docker_init(image) {
     ecr_pull(image)
   } else {
     sh(
-      script: "docker pull ${image}",
+      script: """
+      set -eux
+      {{ m.bash_retry() }}
+      retry 3 docker pull ${image}
+      """,
       label: 'Pull docker image',
     )
   }