diff --git a/Jenkinsfile b/Jenkinsfile index d77f81b7f..e125caf15 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -2,8 +2,7 @@ pipeline { agent any tools { - nodejs 'node20' - jdk 'jdk17' + nodejs 'node25' } options {