ci: Use specific jdk tool

2025-03-29 02:33:18 -07:00 · 2025-03-29 02:33:18 -07:00 · e8274f88b9
commit e8274f88b9
parent 3d12ee9549
1 changed files with 4 additions and 0 deletions
--- a/4
+++ b/4
@ -7,6 +7,10 @@ pipeline {
        )
    }

+    tools {
+        jdk 'jdk21'
+    }
+
    stages {
        stage("Build") {
            agent {