improve test report coverage

lenskit · Jul 24, 2024 · 0733405 · 0733405
1 parent 907701f
commit 0733405
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 0 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -680,6 +680,7 @@ jobs:
               coverage.xml |tee diff-cover.txt
       - name: ± Measure and report coverage
         run: |
+          echo $PR_NUMBER > ./lenskit-coverage/pr-number
           tclsh ./utils/coverage-log.tcl
           cat lenskit-coverage/report.md >$GITHUB_STEP_SUMMARY
       - name: 📤 Upload coverage report

diff --git a/lkdev/workflows/test.py b/lkdev/workflows/test.py
@@ -488,6 +488,7 @@ def jobs_result(deps: list[str]) -> GHJob:
             {
                 "name": "± Measure and report coverage",
                 "run": script("""
+                    echo $PR_NUMBER > ./lenskit-coverage/pr-number
                     tclsh ./utils/coverage-log.tcl
                     cat lenskit-coverage/report.md >$GITHUB_STEP_SUMMARY
                 """),

diff --git a/utils/coverage-log.tcl b/utils/coverage-log.tcl
@@ -50,6 +50,7 @@ if {[ev GITHUB_BASE_REF base]} {
 
     # write the coverage report
     set reph [open lenskit-coverage/report.md w]
+    puts $reph "The GitHub 🤖 has run the tests on your PR.\n"
     puts $reph [format
         "Covered **%.2f%%** of diff (coverage changed **%.2f%%** from %.2f%% to %.2f%%).\n"
         $diff_cov $cov_change $prev_cov $cur_cov