--- a/ci/publish.groovy Mon Apr 02 12:22:04 2018 +0100 +++ b/ci/publish.groovy Mon Apr 23 09:19:17 2018 +0100 @@ -4,7 +4,7 @@ pipeline { - agent any + agent { label 'linux' } parameters { string(name: 'job', description: 'Job whose artifacts to upload', defaultValue: 'stx_jv')