diff --git a/Jenkinsfile b/Jenkinsfile index 8f7d723..7ee2b60 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,5 +1,5 @@ pipeline { - agent {linux} + agent {label 'linux'} stages { stage('Build') { steps {