From 406eff3f038aaa1e6fd51b338a212e72d5ade27c Mon Sep 17 00:00:00 2001
From: SupremeMortal <6178101+SupremeMortal@users.noreply.github.com>
Date: Thu, 28 Nov 2019 23:15:53 +0000
Subject: [PATCH] We don't need this action anymore. Jenkins builds all local
 branches whilst GitHub Actions builds all PRs.

---
 .github/workflows/maven.yml | 17 -----------------
 1 file changed, 17 deletions(-)
 delete mode 100644 .github/workflows/maven.yml

diff --git a/.github/workflows/maven.yml b/.github/workflows/maven.yml
deleted file mode 100644
index d8c2beeb2..000000000
--- a/.github/workflows/maven.yml
+++ /dev/null
@@ -1,17 +0,0 @@
-name: Java CI
-
-on: [push, pull_request]
-
-jobs:
-  build:
-
-    runs-on: ubuntu-latest
-
-    steps:
-    - uses: actions/checkout@v1
-    - name: Set up JDK 1.8
-      uses: actions/setup-java@v1
-      with:
-        java-version: 1.8
-    - name: Build with Maven
-      run: mvn -B package --file pom.xml