temp: is TOTAL the same as env.total?

nedbat · Oct 27, 2024 · 5e31256 · 5e31256
1 parent 6c9d596
commit 5e31256
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
@@ -219,6 +219,7 @@ jobs:
 
       - name: "Summarize"
         run: |
+          echo '### TOTAL coverage: ${TOTAL}%' >> $GITHUB_STEP_SUMMARY
           echo '### Total coverage: ${{ env.total }}%' >> $GITHUB_STEP_SUMMARY
 
       - name: "Checkout reports repo"