Removing 2 frequencies.

Signed-off-by: Boris Djalal <boris.djalal@eurecom.fr>
2019-03-22 11:38:05 +01:00
parent 0146f8bf59
commit b53e7e6546
4 changed files with 10 additions and 14 deletions
@@ -133,6 +133,7 @@ pipeline {
                    script {
                        def message = "OAI " + JOB_NAME + " build (" + BUILD_ID + "): Merge Conflicts -- Cannot perform CI"
                        addGitLabMRComment comment: message
+                        currentBuild.result = 'FAILURE'
                    }
                }
            }
@@ -283,6 +284,11 @@ pipeline {
                }
            }
            post {
+                failure {
+                    script {
+                        currentBuild.result = 'FAILURE'
+                    }
+                }
                always {
                    script {
                        dir ('archives') {