From 5e3125690b025b90cb94ef87b5b587b0e0158d65 Mon Sep 17 00:00:00 2001
From: Ned Batchelder <ned@nedbatchelder.com>
Date: Sun, 27 Oct 2024 18:23:34 -0400
Subject: [PATCH] temp: is TOTAL the same as env.total?

---
 .github/workflows/coverage.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index 8a425f5f5..ca027c10e 100644
--- 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"