Outline steps I think are necessary for coverage diffs

Author: ye-spencer

.github/workflows/ci_workflow.yml

@@ -48,10 +48,11 @@ jobs:
       with:
         coverage: ${{ env.COVERAGE }}
 
-    - name: Generate coverage badge
+    - name: Generate coverage badge and summary
       if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}
       run: genbadge coverage -i coverage.xml -o coverage-badge.svg
 
+<<<<<<< HEAD
     - name: Push badge to coverage-info branch
       if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}
       env:
@@ -77,3 +78,18 @@ jobs:
         
         git commit -m "Update coverage badge [skip ci]"
         git push "https://x-access-token:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git" coverage-info
+=======
+    - name: Push badge and summary to coverage-info branch
+      if: ${{ env.COVERAGE == 'true' && github.event_name != 'pull_request' }}
+      uses: peaceiris/actions-gh-pages@v4
+      with:
+        github_token: ${{ secrets.GITHUB_TOKEN }}
+        publish_branch: coverage-info
+        publish_dir: .
+        include_files: coverage-badge.svg, coverage.xml
+        commit_message: "Update coverage badge [skip ci]"
+
+    - name: Coverage diff on PR
+      if: ${{ env.COVERAGE == 'true' && github.event_name == 'pull_request' }}
+      run: echo "TODO"
+>>>>>>> cd008e2 (Outline steps I think are necessary for coverage diffs)