Fix Jenkins build: run on jdk11 workers

(cherry picked from commit a7d7612466f904f21b27b1287ec306b3496bc7d1)
2023-03-13 15:54:11 +07:00
parent 60f0c79531
commit 4ea53a99af
1 changed files with 3 additions and 1 deletions
@@ -1,5 +1,7 @@
 pipeline {
-  agent any
+  agent {
    label 'jdk11'
  }
  options {
    // Configure an overall timeout for the build.