From d476bb48fef2cd33f422a5fd0a08f419c12298c3 Mon Sep 17 00:00:00 2001
From: Ulli Hafner <ullrich.hafner@gmail.com>
Date: Wed, 6 Dec 2023 09:24:59 +0100
Subject: [PATCH] Use new autograding properties.

---
 .github/workflows/reporting.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/reporting.yml b/.github/workflows/reporting.yml
index ea0ed742..e670b3c2 100644
--- a/.github/workflows/reporting.yml
+++ b/.github/workflows/reporting.yml
@@ -73,6 +73,7 @@ jobs:
                   {
                     "id": "spotbugs",
                     "name": "SpotBugs",
+                    "sourcePath": "src/main/java",
                     "pattern": "**/target/spotbugsXml.xml"
                   }
                 ],
@@ -89,12 +90,14 @@ jobs:
                       "id": "jacoco",
                       "name": "Line Coverage",
                       "metric": "line",
+                      "sourcePath": "src/main/java",
                       "pattern": "**/target/site/jacoco/jacoco.xml"
                     },
                     {
                       "id": "jacoco",
                       "name": "Branch Coverage",
                       "metric": "branch",
+                      "sourcePath": "src/main/java",
                       "pattern": "**/target/site/jacoco/jacoco.xml"
                     }
                   ],
@@ -108,6 +111,7 @@ jobs:
                       "id": "pit",
                       "name": "Mutation Coverage",
                       "metric": "mutation",
+                      "sourcePath": "src/main/java",
                       "pattern": "**/target/pit-reports/mutations.xml"
                     }
                   ],
@@ -156,7 +160,7 @@ jobs:
           git config --local user.email "action@github.com"
           git config --local user.name "GitHub Action"
           git add badges/*.svg
-          git commit -m "Update badges with results from latest autograding"
+          git commit -m "Update badges with results from latest autograding" || true
       - name: Push updated badges to GitHub repository
         uses: ad-m/github-push-action@master
         if: ${{ success() }}