Jenkins: select devices randomly (#31274)

radnomly select devices
pull/31276/head
Justin Newberry 1 year ago committed by GitHub
parent 33c93cc583
commit 08d9681cf6
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
  1. 2
      Jenkinsfile

2
Jenkinsfile vendored

@ -79,7 +79,7 @@ def deviceStage(String stageName, String deviceType, List extra_env, def steps)
def branch = env.BRANCH_NAME ?: 'master';
docker.image('ghcr.io/commaai/alpine-ssh').inside('--user=root') {
lock(resource: "", label: deviceType, inversePrecedence: true, variable: 'device_ip', quantity: 1) {
lock(resource: "", label: deviceType, inversePrecedence: true, variable: 'device_ip', quantity: 1, resourceSelectStrategy: 'random') {
timeout(time: 20, unit: 'MINUTES') {
retry (3) {
device(device_ip, "git checkout", extra + "\n" + readFile("selfdrive/test/setup_device_ci.sh"))

Loading…
Cancel
Save