chore(pipeline): use an ARM64 agent (#138)

as per jenkins-infra/helpdesk#3823 (comment) using an ARM64 node
jenkins-infra · Mar 18, 2024 · 56ed542 · 56ed542
2 parents 4b7922d + e3b91d2
commit 56ed542
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -7,7 +7,7 @@ pipeline {
   }
 
   agent {
-    label 'node'
+    label 'linux-arm64-docker || arm64linux'
   }
 
   environment {