ci: Fix incorrect coverage reported (#715)

We computed everything correctly, but printed the old value twice >.<
CQCL · Nov 23, 2023 · c52ed51 · c52ed51
1 parent b7a5176
commit c52ed51
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/notify-coverage.yml b/.github/workflows/notify-coverage.yml
@@ -103,7 +103,7 @@ jobs:
         if: steps.get_coverage.outputs.should_notify == 'true'
         run: |
           prev=`cat coverage-prev.txt`
-          current=`cat coverage-prev.txt`
+          current=`cat coverage.txt`
           change=`printf "%.2f%% --> %.2f%%" $prev $current`
           codecov="https://codecov.io/gh/${{ github.repository }}?search=&trend=7%20days"
           if (( $(echo "$prev < $current + 0.04" | bc -l) ))