From 2293872bba53485be0601da78bc81bc7db12c1bd Mon Sep 17 00:00:00 2001 From: Bryan Stitt Date: Tue, 27 Jun 2023 09:27:56 -0700 Subject: [PATCH] specify agent --- Jenkinsfile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index fb0ff306..39a74578 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,7 +1,10 @@ @Library('jenkins_lib@main') _ pipeline { - agent any + agent { + // not strictly required, but we only build graviton2 right now so this keeps the jenkins-agent count down + label 'arm64_graviton2' + } options { ansiColor('xterm') }