CI: lint instead of CodeQL.

2021-07-29 12:06:19 +02:00
parent 19f6a477c4
commit fd1a53d1a6
2 changed files with 19 additions and 31 deletions
@@ -0,0 +1,19 @@
+name: Linting
+
+on: [ push ]
+
+jobs:
+  analyse:
+    name: Analyse
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v2.3.4
+
+      - uses: actions/setup-java@v2
+        with:
+          distribution: 'adopt'
+          java-version: '11'
+
+      - run: ./gradlew lint