[#9194] Add JDK 19 to Jenkins build (#955)

2023-01-12 09:06:29 -06:00 · 2023-01-12 09:06:29 -06:00 · 8ba765bbaf
parent a083ff4d23
commit 8ba765bbaf
1 changed files with 12 additions and 0 deletions
--- a/12
+++ b/12
@ -63,6 +63,18 @@ pipeline {
            }
        }

+        stage('Build JDK 19') {
+            tools {
+                jdk "jdk_19_latest"
+            }
+            steps {
+                echo 'Building JDK 19'
+                sh 'java -version'
+                sh 'mvn -version'
+                sh 'mvn -U -B -e clean install -DskipTests'
+            }
+        }
+
        stage('Build JDK 17') {
            tools {
                jdk "jdk_17_latest"