Create badges after autograding.

uhafner · Nov 30, 2023 · 9ce24ac · 9ce24ac
1 parent 8fe056a
commit 9ce24ac
Showing 1 changed file with 6 additions and 2 deletions.
diff --git 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/[email protected]
+        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