docs: fix ci workflow

NicolasCarrezCSOD · Jan 15, 2024 · c1b1224 · c1b1224
1 parent 832a653
commit c1b1224
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -43,8 +43,8 @@ jobs:
 
       - name: Push Coverage Report
         run: |
-          git config user.name github-actions
-          git config user.email [email protected]
-          git add coverage
-          git commit -m "add coverage report"
-          git push
+            git config user.name github-actions
+            git config user.email [email protected]
+            git add coverage
+            git diff --staged --quiet || git commit -m "add coverage report"
+            git push