Retry number is total number of tries

1 files changed, 4 insertions, 4 deletions

diff --git a/Jenkinsfile b/Jenkinsfile
index 6d275b33f..740257adb 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -30,7 +30,7 @@ pipeline {
     stage ('Debug') {
       options {
         timeout(time: 1, unit: 'HOURS')
-        retry(1)
+        retry(2)
       }
       agent {
         docker {
@@ -53,7 +53,7 @@ pipeline {
         stage ('Linux Java 8') {
           options {
             timeout(time: 4, unit: 'HOURS')
-            retry(1)
+            retry(2)
           }
           agent {
             docker {
@@ -76,7 +76,7 @@ pipeline {
         stage ('Linux Java 11') {
           options {
             timeout(time: 4, unit: 'HOURS')
-            retry(1)
+            retry(2)
           }
           agent {
             docker {
@@ -99,7 +99,7 @@ pipeline {
         stage ('Windows Java 8') {
           options {
             timeout(time: 4, unit: 'HOURS')
-            retry(1)
+            retry(2)
           }
           agent {
             label 'Windows'