trying to fix coverage badge workflow

intsystems · Dec 10, 2024 · 58f19ab · 58f19ab
1 parent 52a94b5
commit 58f19ab
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -48,7 +48,7 @@ jobs:
           git checkout -b coverage-badge
           git add coverage-badge.svg
           git commit -m "Update coverage badge"
-          git push origin coverage-badge
+          git push --force origin coverage-badge
 
       - name: Create Pull Request
         if: steps.check_changes.outputs.changes == 'true'
@@ -67,4 +67,4 @@ jobs:
         with:
           token: ${{ secrets.GITHUB_TOKEN }}
           pull-request-number: ${{ steps.create-pull-request.outputs.pull-request-number }}
-          merge-method: merge
+          merge-method: merge