diff --git a/Jenkinsfile b/Jenkinsfile index 53761c3..1c9d801 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -62,7 +62,8 @@ pipeline { script { - if (env.BRANCH_NAME.startsWith('pr-')) { + sh "'${env.BRANCH_NAME}'" + if (${env.BRANCH_NAME}.startsWith('pr-')) { // git url: "git@gogs.informatik.hs-fulda.de:SteffenN/Multi-Chess.git", // credentialsId: 'jenkins_ssh_key',