From 14d100b3abbac2ebbfe9cbf97140ca1c977df46b Mon Sep 17 00:00:00 2001 From: Bernd Ahlers Date: Wed, 6 Mar 2024 15:22:19 +0100 Subject: [PATCH] Remove Jenkins pipeline script --- jenkins.groovy | 3 --- 1 file changed, 3 deletions(-) delete mode 100644 jenkins.groovy diff --git a/jenkins.groovy b/jenkins.groovy deleted file mode 100644 index 4591bb486..000000000 --- a/jenkins.groovy +++ /dev/null @@ -1,3 +0,0 @@ -@Library('ci-pipeline-shared') _ - -buildSnapshot(jdk_version: '17')