From da39b4289a212c6ebe2ca22d5af89a34e30431f3 Mon Sep 17 00:00:00 2001
From: Victor Martinez <victormartinezrubio@gmail.com>
Date: Fri, 27 Jan 2023 12:56:21 +0000
Subject: [PATCH] ci: pin baremetal with jdk17 (#2990)

---
 Jenkinsfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 750425df32..7844e0b665 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -284,7 +284,8 @@ pipeline {
              * The result JSON files are also archive into Jenkins.
              */
             stage('Benchmarks') {
-              agent { label 'microbenchmarks-pool' }
+              // As long as jdk17 is not available then let's pin the worker with jdk17
+              agent { label 'microbenchmarks-pool && worker-1799328' }
               options { skipDefaultCheckout() }
               environment {
                 NO_BUILD = "true"