Use new autograding properties.

uhafner · Dec 6, 2023 · d476bb4 · d476bb4
1 parent 0afa404
commit d476bb4
Showing 1 changed file with 5 additions and 1 deletion.
diff --git 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() }}