Merge branch 'master' into develop

.github/workflows/develop.yml

@@ -1,9 +1,9 @@
-name: Other build checks
+name: Snapshot
 
 on:
   push:
     branches:
-      - '!master'
+      - develop
 
 jobs:
   build:

.github/workflows/pull-request.yml

@@ -0,0 +1,17 @@
+name: Pull request checks
+
+on: 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 Gradle
+        run: ./gradlew build