user id test

.github/workflows/workflow.yml

@@ -43,6 +43,21 @@ jobs:
 
     - name: Log coverage percentage
       run: |
-          echo "GitHub User ID: ${GITHUB_ACTOR}"
           echo "coverage = ${{ steps.jacoco.outputs.coverage }}"
-          echo "branch coverage = ${{ steps.jacoco.outputs.branches }}"
+          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 'ClementGib'
+          git config --global user.email '[email protected]'
+          git add -A
+          git commit -m "Autogenerated JaCoCo coverage badge"
+          git push
+        fi
+
+    - name: Upload JaCoCo coverage report
+      uses: actions/upload-artifact@v2
+      with:
+        name: jacoco-report
+        path: target/site/jacoco/