Only push library updates when the build is stable

OpenModelica · Jun 4, 2020 · 5ab5bb3 · 5ab5bb3
1 parent 2e5bc9f
commit 5ab5bb3
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -647,6 +647,7 @@ pipeline {
       when {
         beforeAgent true
         branch 'omlib-staging'
+        expression { return currentBuild.currentResult == 'SUCCESS' }
       }
       steps {
         githubNotify status: 'SUCCESS', description: 'The staged library changes are working', context: 'continuous-integration/jenkins/pr-merge'

diff --git a/libraries b/libraries