From 82c60589855f48c091b97ca6ef0ed06c1636a162 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 | 4 ---- 1 file changed, 4 deletions(-) delete mode 100644 jenkins.groovy diff --git a/jenkins.groovy b/jenkins.groovy deleted file mode 100644 index 2702d444..00000000 --- a/jenkins.groovy +++ /dev/null @@ -1,4 +0,0 @@ -@Library('ci-pipeline-shared') _ - -buildSnapshot(jdk_version: '17') -