From: Timo Heister <timo.heister@gmail.com>
Date: Fri, 15 Feb 2019 16:42:02 +0000 (-0700)
Subject: [CI]: mark main status in github as failed
X-Git-Tag: v9.1.0-rc1~336^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9296119dcb0888f4a9bed2f3e72b08a3fec3edca;p=dealii.git

[CI]: mark main status in github as failed
---

diff --git a/Jenkinsfile b/Jenkinsfile
index e6f70559f4..c2b78f390a 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -40,6 +40,12 @@ pipeline
 
         stage("indent")
         {
+          post {
+            failure {
+              githubNotify context: 'indent', description: 'failed',  status: 'FAILURE'
+            }
+          }
+
           steps
           {
             // we are finally running, so we can mark the 'ready' context from Jenkinsfile.mark as success:
@@ -76,15 +82,21 @@ pipeline
               image 'tjhei/candi:v9.0.1-r4'
             }
           }
+
           post {
-	  always {
-	    sh "cp /home/dealii/build/Testing/*/*.xml $WORKSPACE/serial.xml || true"
-	    xunit tools: [CTest(pattern: '*.xml')]
-	    }
-	  cleanup {
-	    cleanWs()
-	  }
-	  }
+            always {
+              sh "cp /home/dealii/build/Testing/*/*.xml $WORKSPACE/serial.xml || true"
+              xunit tools: [CTest(pattern: '*.xml')]
+            }
+
+            cleanup {
+              cleanWs()
+            }
+
+            failure {
+              githubNotify context: 'CI', description: 'serial build failed',  status: 'FAILURE'
+            }
+      }
 
           steps
           {
@@ -93,7 +105,7 @@ pipeline
             sh "echo \"building on node ${env.NODE_NAME}\""
             sh '''#!/bin/bash
                export NP=`grep -c ^processor /proc/cpuinfo`
-	       export TEST_TIME_LIMIT=1200
+               export TEST_TIME_LIMIT=1200
                echo $NP
                mkdir -p /home/dealii/build
                cd /home/dealii/build
@@ -121,15 +133,21 @@ pipeline
               image 'tjhei/candi:v9.0.1-r4'
             }
           }
+
           post {
-	  always {
-	    sh "cp /home/dealii/build/Testing/*/*.xml $WORKSPACE/mpi.xml || true"
-	    xunit tools: [CTest(pattern: '*.xml')]
-	  }
-	  cleanup {
-	    cleanWs()
-	  }
-	  }
+            always {
+              sh "cp /home/dealii/build/Testing/*/*.xml $WORKSPACE/mpi.xml || true"
+              xunit tools: [CTest(pattern: '*.xml')]
+            }
+
+            cleanup {
+              cleanWs()
+            }
+
+            failure {
+              githubNotify context: 'CI', description: 'mpi build failed',  status: 'FAILURE'
+            }
+          }
 
           steps
           {