diff --git a/Jenkinsfile b/Jenkinsfile index 499d35b..1aa534e 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,6 +1,6 @@ pipeline { agent { - label 'docker' + label 'docker-x86-64' } triggers {