From 29fa4fed3b6cb1464d13a4ca5fb3a9634458fe64 Mon Sep 17 00:00:00 2001 From: Mark Waite Date: Sat, 11 May 2024 06:22:32 -0600 Subject: [PATCH] Remove branch from ci.jenkins.io No need for CI on old branch --- Jenkinsfile | 6 ------ 1 file changed, 6 deletions(-) delete mode 100644 Jenkinsfile diff --git a/Jenkinsfile b/Jenkinsfile deleted file mode 100644 index 36248761..00000000 --- a/Jenkinsfile +++ /dev/null @@ -1,6 +0,0 @@ -// Builds a module using https://github.com/jenkins-infra/pipeline-library -buildPlugin(useAci: true, configurations: [ - [ platform: "linux", jdk: "8" ], - [ platform: "windows", jdk: "8" ], - [ platform: "linux", jdk: "11" ] -])