Show change in percentage coverage in notification message (#341)

* Show change in percentage coverage. * Increase tolerance to match previously used threshold.
CQCL · Aug 3, 2023 · b714fa0 · b714fa0
1 parent eeba047
commit b714fa0
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
@@ -47,11 +47,12 @@ jobs:
  - name: Compare with previous summary and make message
  id: make_msg
  run: |
- if (( $(echo "`cat coverage-summary-prev.txt` < `cat coverage-summary.txt` + 0.03" | bc -l) ))
+ change="`cat coverage-summary-prev.txt`% --> `cat coverage-summary.txt`%"
+ if (( $(echo "`cat coverage-summary-prev.txt` < `cat coverage-summary.txt` + 0.04" | bc -l) ))
  then
- echo "msg=Coverage check for hugr shows no regression. ✅ ${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}" >> "$GITHUB_OUTPUT"
+ echo "msg=Coverage check for hugr shows no regression (${change}). ✅ ${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}" >> "$GITHUB_OUTPUT"
  else
- echo "msg=Coverage check for hugr shows regression. ❌ ${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}" >> "$GITHUB_OUTPUT"
+ echo "msg=Coverage check for hugr shows regression (${change}). ❌ ${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}" >> "$GITHUB_OUTPUT"
  fi
  notify-slack:
  needs: check-coverage