Use new autograding properties.

uhafner · Dec 6, 2023 · 6232bb2 · 6232bb2
1 parent d476bb4
commit 6232bb2
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/autograding.yml b/.github/workflows/autograding.yml
@@ -26,7 +26,7 @@ jobs:
         env:
           BROWSER: chrome-container
         run: mvn -V --color always -ntp clean verify --file pom.xml '-Djenkins.test.timeout=5000' '-Dgpg.skip' -Ppit | tee maven.log
-      - name: 'Extract pull request number'
+      - name: Extract pull request number
         uses: jwalton/gh-find-current-pr@v1
         id: pr
       - name: Run Autograding
@@ -73,6 +73,7 @@ jobs:
                   {
                     "id": "spotbugs",
                     "name": "SpotBugs",
+                    "sourcePath": "src/main/java",
                     "pattern": "**/target/spotbugsXml.xml"
                   }
 
@@ -90,12 +91,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"
                     }
                   ],
@@ -109,6 +112,7 @@ jobs:
                       "id": "pit",
                       "name": "Mutation Coverage",
                       "metric": "mutation",
+                      "sourcePath": "src/main/java",
                       "pattern": "**/target/pit-reports/mutations.xml"
                     }
                   ],