diff --git a/ci/Jenkinsfile.prs b/ci/Jenkinsfile.prs
index 62e5bee3e..188d3f309 100644
--- a/ci/Jenkinsfile.prs
+++ b/ci/Jenkinsfile.prs
@@ -1,7 +1,7 @@
 library 'status-jenkins-lib@v1.2.18'
 
 pipeline {
-  agent { label getAgentLabel() }
+  agent { label "${getAgentLabel()} && x86_64" }
 
   parameters {
     string(