diff --git a/Jenkinsfile b/Jenkinsfile index c6a3a789..e4674112 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -86,16 +86,31 @@ pipeline { } } } - stage('Update') { + stage('Release and update') { agent { label 'x86_64&&brew' } - steps { - updateViewfiles() + stages { + stage('Release') { + when { + expression { + isReleaseBranchOfOrganisation('xmos') + } + } + steps { + sh 'mkdir ${REPO}/empty' + xcoreReleaseToGithub("${WORKSPACE}/${REPO}","${WORKSPACE}/${REPO}/empty") + } + } + stage('Update') { + steps { + updateViewfiles() + } + } } post { cleanup { - cleanWs() + xcoreCleanSandbox() } } }