From 709203ca36652d20f5fe73a5bfcd16a36ed448b2 Mon Sep 17 00:00:00 2001 From: Jeremi Sz Date: Tue, 14 Mar 2023 17:02:48 +0000 Subject: [PATCH] removed jdk again --- JenkinsFile | 1 - 1 file changed, 1 deletion(-) diff --git a/JenkinsFile b/JenkinsFile index 8a6117a84..e643512e7 100644 --- a/JenkinsFile +++ b/JenkinsFile @@ -3,7 +3,6 @@ pipeline{ tools{ maven 'maven' - jdk "Java 17" } stages{