From 234615808d0da91e06acb9abb5145fd7ef7577b1 Mon Sep 17 00:00:00 2001 From: Olivier Lamy Date: Mon, 23 May 2022 11:49:08 +1000 Subject: [PATCH] fix typo --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 4ee14bb..a67580b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -47,7 +47,7 @@ pipeline { options { timeout( time: 120, unit: 'MINUTES' ) } steps { container('jetty-build') { - mavenBuild( "jdk15", "clean install javadoc:jar" ) + mavenBuild( "jdk17", "clean install javadoc:jar" ) } } }