From 4ea53a99af3f316c1885a5c73d3490974c62453f Mon Sep 17 00:00:00 2001
From: Rene Cordier <rcordier@linagora.com>
Date: Mon, 13 Mar 2023 15:54:11 +0700
Subject: [PATCH] Fix Jenkins build: run on jdk11 workers

(cherry picked from commit a7d7612466f904f21b27b1287ec306b3496bc7d1)
---
 Jenkinsfile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 3a4008782..072429c84 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,5 +1,7 @@
 pipeline {
-  agent any
+  agent {
+    label 'jdk11'
+  }
 
   options {
     // Configure an overall timeout for the build.