Add action to comment on PR (#8)

* Add action to comment on PR * Allow repeats
jtx1999 · May 24, 2021 · 101f130 · 101f130
1 parent 2db3d02
commit 101f130
Showing 1 changed file with 11 additions and 1 deletion.
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
@@ -1,4 +1,4 @@
-name: build
+name: Report coverage
 
 on:
   push:
@@ -40,3 +40,13 @@ jobs:
         run: |
           echo "coverage = ${{ steps.jacoco.outputs.coverage }}"
           echo "branch coverage = ${{ steps.jacoco.outputs.branches }}"
+
+      - name: Add comment to PR
+        uses: mshick/add-pr-comment@v1
+        if: ${{ github.event_name == 'pull_request' }}
+        with:
+          repo-token: ${{ secrets.GITHUB_TOKEN }}
+          allow-repeats: true
+          message: 'Statement coverage = ${{ steps.jacoco.outputs.coverage }}
+
+                    Branch coverage = ${{ steps.jacoco.outputs.branches }}'