diff --git a/Jenkinsfile b/Jenkinsfile index d06c3c1..e9d27ee 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -6,7 +6,7 @@ pipeline { } agent any { tools { - jdk 'Java 25' + jdk 'JDK 25' } }