diff --git a/JenkinsfileDeploy b/JenkinsfileDeploy index e7ff999468..cf5e99f671 100644 --- a/JenkinsfileDeploy +++ b/JenkinsfileDeploy @@ -1,8 +1,8 @@ def tag = env.TAG_NAME def version = tag.substring(1) // Remove the first character of the tag which is 'v' -def machines = '[dom daint TSAtds]' // To be included in the PR title +def machines = '[dom daint tsa]' // To be included in the PR title def reviewersPR = 'teojgo,vkarak' // The Github usernames requested for review -def ebTemplate = '3.0-dev6' // The eb recipe of ReFrame to use as template +def ebTemplate = '3.1-dev0' // The eb recipe of ReFrame to use as template stage('Deploy Tests') { node('daint') {