Tune Jenkins pipeline: retry stages, notification when fixed

1 files changed, 13 insertions, 4 deletions

diff --git a/Jenkinsfile b/Jenkinsfile
index edd2d59f8..6d275b33f 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -19,7 +19,7 @@
 pipeline {
   agent none
   options {
-    buildDiscarder(logRotator(numToKeepStr: '3'))
+    buildDiscarder(logRotator(numToKeepStr: '10'))
     timeout(time: 8, unit: 'HOURS')
   }
   triggers {
@@ -30,6 +30,7 @@ pipeline {
     stage ('Debug') {
       options {
         timeout(time: 1, unit: 'HOURS')
+        retry(1)
       }
       agent {
         docker {
@@ -51,7 +52,8 @@ pipeline {
       parallel {
         stage ('Linux Java 8') {
           options {
-            timeout(time: 2, unit: 'HOURS')
+            timeout(time: 4, unit: 'HOURS')
+            retry(1)
           }
           agent {
             docker {
@@ -73,7 +75,8 @@ pipeline {
         }
         stage ('Linux Java 11') {
           options {
-            timeout(time: 2, unit: 'HOURS')
+            timeout(time: 4, unit: 'HOURS')
+            retry(1)
           }
           agent {
             docker {
@@ -95,7 +98,8 @@ pipeline {
         }
         stage ('Windows Java 8') {
           options {
-            timeout(time: 2, unit: 'HOURS')
+            timeout(time: 4, unit: 'HOURS')
+            retry(1)
           }
           agent {
             label 'Windows'
@@ -125,6 +129,11 @@ pipeline {
       subject: "Jenkins pipeline failed: ${currentBuild.fullDisplayName}",
       body: "Jenkins build URL: ${env.BUILD_URL}"
     }
+    fixed {
+      mail to: 'notifications@directory.apache.org',
+      subject: "Jenkins pipeline fixed: ${currentBuild.fullDisplayName}",
+      body: "Jenkins build URL: ${env.BUILD_URL}"
+    }
   }
 }