ci: Update deps, tidy workflow files

.github/workflows/pr_tests.yml

@@ -1,4 +1,3 @@
-# Carry out tests on pull requests
 name: PR Tests
 
 on:
@@ -7,18 +6,25 @@ on:
 
 permissions:
   contents: read
+  checks: write
 
 jobs:
   build:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
-      - name: Set up JDK 17
-        uses: actions/setup-java@v3
+      - name: 'Checkout for CI 🛎'
+        uses: actions/checkout@v4
+      - name: 'Set up JDK 17 📦'
+        uses: actions/setup-java@v4
         with:
           java-version: '17'
           distribution: 'temurin'
-      - name: Test Pull Request
+      - name: 'Build with Gradle 🏗️'
         uses: gradle/gradle-build-action@v2
         with:
-          arguments: test
+          arguments: test
+      - name: 'Publish Test Report 📊'
+        uses: mikepenz/action-junit-report@v4
+        if: success() || failure() # Continue on failure
+        with:
+          report_paths: '**/build/test-results/test/TEST-*.xml'