Use pipeline-agent

This commit is contained in:
Manuele Simi 2019-08-31 08:54:23 -04:00
parent 8c6b79ac97
commit 0e63817065
1 changed files with 3 additions and 2 deletions

5
Jenkinsfile vendored
View File

@ -76,8 +76,9 @@ echo "Configured dynamic stages: ${dynamicStages.inspect()}"
pipeline {
// see https://jenkins.io/doc/book/pipeline/syntax/#agent
agent any
agent {
label 'pipeline-agent'
}
// see https://jenkins.io/doc/book/pipeline/syntax/#environment
environment {
JOB_OPTIONS = "${options}"