Jenkins release ready for merging

2019-08-23 17:17:21 +01:00
parent dcfe0235ad
commit 0eaefc3478
2 changed files with 12 additions and 12 deletions
--- a/4
+++ b/4
@@ -97,11 +97,11 @@ pipeline {
          }
        }
        stage('Release') {
-          /*when {
+          when {
            expression {
              isReleaseBranchOfOrganisation('xmos')
            }
-          }*/
+          }
          steps {
            sh "mkdir ${REPO}/empty"
            xcoreReleaseToGithub("${WORKSPACE}/${REPO}","${WORKSPACE}/${REPO}/empty")