diff --git a/Jenkinsfile b/Jenkinsfile index ae5f12cdc219800a78f0db7199ace7bfe10e532e..ab79c6b56a0c94872667082980b1bdfe0247dd90 100755 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -324,7 +324,7 @@ pipeline { } stage('Build ARMHF') { agent { - label 'X86-64-MULTI' + label 'ARMHF' } steps { withCredentials([ @@ -353,7 +353,7 @@ pipeline { } stage('Build ARM64') { agent { - label 'X86-64-MULTI' + label 'ARM64' } steps { withCredentials([