From a65e8b6c04b359f8103d76fdfbb2ef64e90f80fc Mon Sep 17 00:00:00 2001 From: Torsten Friebe Date: Tue, 17 May 2022 14:58:40 +0200 Subject: [PATCH] #1120 rename branch from master to main, and added label for openjdk11bot --- Jenkinsfile | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index e152278da9..a099021838 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,6 +1,6 @@ pipeline { agent { - label 'openjdk8bot' + label 'openjdk11bot' } options { disableConcurrentBuilds() @@ -58,7 +58,7 @@ pipeline { } stage ('Acceptance Test') { when { - branch 'master' + branch 'main' } steps { echo 'Preparing test harness: TEAM Engine' @@ -74,7 +74,7 @@ pipeline { } stage ('Release') { when { - branch 'master' + branch 'main' } steps { echo 'Prepare release version...' @@ -91,7 +91,7 @@ pipeline { } stage ('Deploy PROD') { when { - branch 'master' + branch 'main' } // install current release version on demo.deegree.org steps {