From 2ef2b08a0148ab296e1d61b8da6dc1c819a3adac Mon Sep 17 00:00:00 2001 From: Christian Josephy Date: Tue, 22 Aug 2023 16:58:04 +0200 Subject: [PATCH] Jenkinsfile angepasst --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 5dde0407..5c9418e5 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -4,7 +4,7 @@ pipeline { } tools { - jdk 'JDK_11' + jdk 'JDK_1_8' } options {