ceph-source-dist: Avoid arm64 machines

They are very slow when running this job.

Signed-off-by: Zack Cerza <zack@cerza.org>

diff --git a/ceph-source-dist/build/Jenkinsfile b/ceph-source-dist/build/Jenkinsfile
index 6928918dbff02c557cdde7965438b4f234d1caf0..ee90c4014e52b14c78898c21e72459ca1c3e2257 100644 (file)
--- a/ceph-source-dist/build/Jenkinsfile
+++ b/ceph-source-dist/build/Jenkinsfile
@@ -2,7 +2,7 @@ def checkout_ref = ""
 
 pipeline {
   agent {
-    label "gigantic"
+    label "gigantic&&x86_64"
   }
   stages {
     stage("repository") {