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" ] -])