Create badges after autograding.

.github/workflows/reporting.yml

@@ -30,7 +30,7 @@ jobs:
       - name: Mutation Coverage
         run: mvn -V --color always -ntp org.pitest:pitest-maven:mutationCoverage
       - name: Autograding
-        uses: uhafner/autograding-github-action@v2.0.0
+        uses: uhafner/autograding-github-action@v2.1.0
         with:
           TOKEN: ${{ secrets.GITHUB_TOKEN }}
           HEAD_SHA: ${{github.event.pull_request.head.sha}}
@@ -122,3 +122,56 @@ jobs:
                 }
               ]
             }
+      - name: Write metrics to GitHub output
+        id: metrics
+        run: |
+          cat metrics.env >> "${GITHUB_OUTPUT}"
+          mkdir -p badges
+      - name: Generate the badge SVG image for the line coverage
+        uses: emibcn/[email protected]
+        with:
+          label: 'Line coverage'
+          status: ${{ steps.metrics.outputs.line }}%
+          color: 'green'
+          path: badges/line-coverage.svg
+      - name: Generate the badge SVG image for the branch coverage
+        uses: emibcn/[email protected]
+        with:
+          label: 'Branch coverage'
+          status: ${{ steps.metrics.outputs.branch }}%
+          color: 'green'
+          path: badges/branch-coverage.svg
+      - name: Generate the badge SVG image for the mutation coverage
+        uses: emibcn/[email protected]
+        with:
+          label: 'Mutation coverage'
+          status: ${{ steps.metrics.outputs.mutation }}%
+          color: 'green'
+          path: badges/mutation-coverage.svg
+      - name: Generate the badge SVG image for the style warnings
+        uses: emibcn/[email protected]
+        with:
+          label: 'Style warnings'
+          status: ${{ steps.metrics.outputs.style }}
+          color: 'orange'
+          path: badges/style-warnings.svg
+      - name: Generate the badge SVG image for the potential bugs
+        uses: emibcn/[email protected]
+        with:
+          label: 'Potential Bugs'
+          status: ${{ steps.metrics.outputs.bugs }}
+          color: 'red'
+          path: badges/bugs.svg
+      - name: Commit badge
+        continue-on-error: true
+        run: |
+          git config --local user.email "[email protected]"
+          git config --local user.name "GitHub Action"
+          git add badges/*.svg
+          git commit -m "Update badges with results from latest autograding"
+      - name: Push badge commit
+        uses: ad-m/github-push-action@master
+        if: ${{ success() }}
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          branch: main