specify agent

This commit is contained in:
Bryan Stitt 2023-06-27 09:27:56 -07:00
parent d32208729f
commit 2293872bba

5
Jenkinsfile vendored

@ -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')
}