commit 979ef3595f38705daedb47d7de276b37a2e822c1
author Antonio García-Domínguez <agarcdomi@gmail.com> Thu Jun 04 16:55:31 2020 +0100
committer Antonio García-Domínguez <agarcdomi@gmail.com> Thu Jun 04 16:55:34 2020 +0100
tree 6b112f0d13048be8ec2cd4ed6f3b21938047ef6e
parent 4d10e3e8f1813ab8e36d98e3ccb5731715723d56

Core Jenkinsfile: allow for manual rebuilds

core/Jenkinsfile

diff --git a/core/Jenkinsfile b/core/Jenkinsfile
index 0fcaaee..5194c98 100644
--- a/core/Jenkinsfile
+++ b/core/Jenkinsfile
@@ -88,6 +88,7 @@
               changeset 'pom.xml'
               changeset 'pom-plain.xml'
               expression { return currentBuild.number == 1 }
+              triggeredBy 'UserIdCause'
             }
           }
           steps {
@@ -96,6 +97,7 @@
               sh 'which java'
               sh 'echo $JAVA_HOME'
               sh 'cd core && mvn -B --quiet install -DfailIfNoTests=false -P jenkins,signjars --toolchains jenkins-toolchains.xml'
+              triggeredBy 'UserIdCause'
             }
           }
           post { always { junit '**/TEST-*.xml' } }
@@ -136,6 +138,7 @@
                 changeset 'pom.xml'
                 changeset 'pom-plain.xml'
                 expression { return currentBuild.number == 1 }
+                triggeredBy 'UserIdCause'
               }
             }
           }