Commit coverage badges

.github/workflows/actions.yml

@@ -56,5 +56,17 @@ jobs:
         with:
           generate-branches-badge: true
           jacoco-csv-file: "**/jacoco.csv"
-      - name: Codecov
-        uses: codecov/[email protected]
+      - name: Log coverage percentage
+        run: |
+          echo "coverage = ${{ steps.jacoco.outputs.coverage }}"
+          echo "branch coverage = ${{ steps.jacoco.outputs.branches }}"
+
+      - name: Commit the badge (if it changed)
+        run: |
+          if [[ `git status --porcelain` ]]; then
+            git config --global user.name 'Okke Harsta'
+            git config --global user.email '[email protected]'
+            git add -A
+            git commit -m "Autogenerated JaCoCo coverage badge"
+            git push
+          fi