From 6232bb2308ffb3debcfe8cf6de499f75251b36f0 Mon Sep 17 00:00:00 2001 From: Ulli Hafner Date: Wed, 6 Dec 2023 09:26:20 +0100 Subject: [PATCH] Use new autograding properties. --- .github/workflows/autograding.yml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/.github/workflows/autograding.yml b/.github/workflows/autograding.yml index 307d71a3..86a95a00 100644 --- 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" } ],