diff --git a/jenkins/linux/Jenkinsfile b/jenkins/linux/Jenkinsfile index a59a33ad..6bd6f313 100644 --- a/jenkins/linux/Jenkinsfile +++ b/jenkins/linux/Jenkinsfile @@ -1,5 +1,7 @@ pipeline { - agent any + agent { + label 'linux-x86_64' + } stages { stage('Environment') { steps {