update Jenkinsfile

2020-12-08 18:12:28 +01:00
parent 3033dd53e1
commit ce9c3660ee
1 changed files with 4 additions and 2 deletions
--- a/6
+++ b/6
@@ -9,15 +9,17 @@ pipeline {
        }
        success {
            updateGitlabCommitStatus state: 'success'
-            echo 'Pipeline finished successfully!'
        }
        failure {
            updateGitlabCommitStatus state: 'failed'
-            echo 'I failed :('
            step([$class: 'Mailer', notifyEveryUnstableBuild: true, recipients: 'support@confdroid.com', sendToIndividuals: true])
        }
    }

+    options {
+          gitLabConnection('sourcecode.confdroid.com')
+    }
+
    stages {

      stage('pulling master') {