update coverage workflow

epistoteles · Jun 18, 2024 · f4d15a1 · f4d15a1
1 parent 804345c
commit f4d15a1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/update-coverage-reports-and-badge.yml b/.github/workflows/update-coverage-reports-and-badge.yml
@@ -36,7 +36,7 @@ jobs:
         run: |
           git config user.email "${{ github.run_id }}+github-actions[bot]@users.noreply.github.com"
           git config user.name "github-actions[bot]"
-          git add coverage.xml htmlcov/* reports/* coverage_badge.svg
+          git add coverage.xml htmlcov/* reports/* coverage-badge.svg
           git commit -m "Update code coverage reports and badge"
           git push
         env: