diff --git a/Jenkinsfile b/Jenkinsfile index 60d6fa8ba..8072b0efd 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -8,7 +8,7 @@ pipeline { pollSCM('* * * * *') } tools { - jdk 'JDK_8' + jdk 'JDK_17' } stages { stage('code') {