From 37533cdb00345c5bf9f5c209847560e52a166630 Mon Sep 17 00:00:00 2001
From: Victor Martinez <VictorMartinezRubio@gmail.com>
Date: Wed, 30 Jun 2021 17:53:13 +0100
Subject: [PATCH] [CI] retry option for PRs

---
 Jenkinsfile | 16 ++++++++++++++--
 1 file changed, 14 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 2e4dc51d510e..7898a0c26f4a 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -2,6 +2,12 @@
 
 @Library('apm@current') _
 
+def numberOfRetries = 1
+// Only Pull Requests can rerun the build&test stages
+if (env.CHANGE_ID?.trim()) {
+    numberOfRetries = 3
+}
+
 pipeline {
   agent { label 'ubuntu-18 && immutable' }
   environment {
@@ -101,7 +107,10 @@ pipeline {
       }
     }
     stage('Build&Test') {
-      options { skipDefaultCheckout() }
+      options {
+        skipDefaultCheckout()
+        retry(numberOfRetries)
+      }
       when {
         // Always when running builds on branches/tags
         // On a PR basis, skip if changes are only related to docs.
@@ -120,7 +129,10 @@ pipeline {
       }
     }
     stage('Extended') {
-      options { skipDefaultCheckout() }
+      options {
+        skipDefaultCheckout()
+        retry(numberOfRetries)
+      }
       when {
         // Always when running builds on branches/tags
         // On a PR basis, skip if changes are only related to docs.