Updates the JDK used for Jenkins

2022-11-22 16:41:55 +01:00
parent 5aed252181
commit a35c07dc9c
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -1,7 +1,7 @@
 pipeline {
    agent any
    tools {
-        jdk 'JDK16'
+        jdk 'JDK17'
    }
    stages {
        stage('Build') {