ci: recreate coverage report on push

This keeps the report in focus for PRs with longer discussion and
repeated pushes.

Signed-off-by: Paul Meyer <49727155+katexochen@users.noreply.github.com>
This commit is contained in:
Paul Meyer 2023-09-26 10:18:41 +02:00
parent 36467bf084
commit f5ddcf984e

View File

@ -73,6 +73,7 @@ jobs:
with: with:
header: coverage header: coverage
path: coverage_diff.md path: coverage_diff.md
recreate: true
- name: Upload coverage - name: Upload coverage
if: github.ref_name == 'main' if: github.ref_name == 'main'