From f6a0f42d2e42c8762735a9ed2ab9f98832bdc24c Mon Sep 17 00:00:00 2001 From: admin Date: Sun, 7 Jun 2026 23:33:19 +0200 Subject: [PATCH] Fix: remove JDK tool dependency --- Jenkinsfile | 3 --- 1 file changed, 3 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index ef3c40c..6322267 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,8 +1,5 @@ pipeline { agent any - tools { - jdk 'JDK17' - } stages { stage('Clone') { steps {