diff --git a/Jenkinsfile b/Jenkinsfile index 04c0e06dff..b4df07c3bb 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -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"