show coverage information

.github/workflows/ci.yml

@@ -61,11 +61,26 @@ jobs:
       - name: Run tests
         run: opam exec -- dune runtest
 
-      - name: Get test with coverage instrumentation
+      - name: Test with coverage instrumentation
         run: |
              mkdir $BISECT_DIR
              opam exec -- dune runtest --instrument-with bisect_ppx --force
              opam exec -- bisect-ppx-report summary --per-file --coverage-path=$BISECT_DIR >> $GITHUB_STEP_SUMMARY
+             opam exec -- bisect-ppx-report cobertura cobertura.xml --coverage-path=$BISECT_DIR
         env:
           BISECT_DIR: ${{ runner.temp }}/_coverage
           BISECT_FILE: ${{ runner.temp }}/_coverage/bisect_data
+
+      - name: Code Coverage Summary
+        uses: irongut/[email protected]
+        with:
+          filename: cobertura.xml
+          badge: true
+          format: markdown
+
+      - name: Add Coverage PR Comment
+        uses: marocchino/sticky-pull-request-comment@v2
+        if: github.event_name == 'pull_request'
+        with:
+          recreate: true
+          path: code-coverage-results.md