Merge pull request #100 from jenkins-infra/hd3823/arm64

chore(pipeline): use an ARM64 agent
jenkins-infra · Mar 18, 2024 · 734a336 · 734a336
2 parents 5f432a1 + 97cfaa4
commit 734a336
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 {