From 9ce24ac19ae4b96b9b2b11cf02e565165375928f Mon Sep 17 00:00:00 2001 From: Ulli Hafner Date: Thu, 30 Nov 2023 09:42:00 +0100 Subject: [PATCH] Create badges after autograding. --- .github/workflows/reporting.yml | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/.github/workflows/reporting.yml b/.github/workflows/reporting.yml index 7fdf87d1..667bb0f5 100644 --- a/.github/workflows/reporting.yml +++ b/.github/workflows/reporting.yml @@ -14,13 +14,17 @@ jobs: steps: - uses: actions/checkout@v4 - - name: Set up JDK 11 + - name: Set up JDK 21 uses: actions/setup-java@v3 with: distribution: 'temurin' - java-version: '11' + java-version: '21' check-latest: true cache: 'maven' + - name: Set up Maven + uses: stCarolas/setup-maven@v4.5 + with: + maven-version: 3.9.5 - name: Generate coverage with JaCoCo run: mvn -V --color always -ntp clean verify --file pom.xml '-Dgpg.skip' - name: Upload coverage to Codecov