diff --git a/Jenkinsfile b/Jenkinsfile index d0cac708..3dbef5b6 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -318,7 +318,8 @@ pipeline { } } } - stage("Clang-Release/AVX2") { + } + stage("Clang-Release/AVX2") { agent { label "x86" } stages { stage("Git checkout") {