Merge pull request #436 from afuetterer/429-coverage-comment

ci: add header to code coverage report
pangaea-data-publisher · Oct 13, 2023 · 87fd7d0 · 87fd7d0
2 parents ef2147f + 2e068f9
commit 87fd7d0
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/reports.yml b/.github/workflows/reports.yml
@@ -56,9 +56,11 @@ jobs:
         format: markdown
         hide_complexity: true
         output: both
+    - name: Add header to code coverage report
+      run: |
+        sed -i '1s/^/## :clipboard: Code Coverage\n/' code-coverage-results.md
     - name: Write to Job Summary
       run: |
-        echo "## :clipboard: Code Coverage" >> $GITHUB_STEP_SUMMARY
         cat code-coverage-results.md >> $GITHUB_STEP_SUMMARY
     - name: Get Pull Request number
       run: |