Update workflow

.github/workflows/gradle.yml

@@ -1,18 +1,26 @@
-name: Gradle
+# Adapted from Paper's build script
-
+name: Build
-on: [ push ]
+on: [push, pull_request]
 
 jobs:
-  build:
+    build:
-    runs-on: ubuntu-latest
+        # Only run on PRs if the source branch is on someone else's repo
-
+        if: ${{ github.event_name != 'pull_request' || github.repository != github.event.pull_request.head.repo.full_name }}
-    steps:
+        runs-on: ubuntu-latest
-      - uses: actions/checkout@v2
+        strategy:
-      - name: Set up JDK 17
+            matrix:
-        uses: actions/setup-java@v2
+                java: [17]
-        with:
+            fail-fast: true
-          distribution: temurin
+        steps:
-          java-version: 17
+            - uses: actions/checkout@v2.4.0
-          cache: gradle
+            - name: JDK ${{ matrix.java }}
-      - name: Build with Gradle
+              uses: actions/setup-java@v3.1.0
-        run: chmod a+x gradlew && ./gradlew build --no-daemon
+              with:
+                  java-version: ${{ matrix.java }}
+                  cache: 'gradle'
+                  distribution: 'temurin'
+            - name: Build
+              run: |
+                  git config --global user.email "no-reply@github.com"
+                  git config --global user.name "Github Actions"
+                  ./gradlew build --stacktrace