diff --git a/Jenkinsfile b/Jenkinsfile index 86a96b2..af83d96 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -61,7 +61,9 @@ pipeline { success { script { - if ({env.BRANCH_NAME}.startsWith('pr-')) { + #!groovy + + if (env.BRANCH_NAME.startsWith('pr-')) { // git url: "git@gogs.informatik.hs-fulda.de:SteffenN/Multi-Chess.git", // credentialsId: 'jenkins_ssh_key',