Merge remote-tracking branch 'origin/dev' into dev

fulminazzo · Apr 3, 2024 · 14c196a · 14c196a
2 parents 477b2ae + bb89ab2
commit 14c196a
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/.github/workflows/gradle.yml b/.github/workflows/gradle.yml
@@ -70,9 +70,8 @@ jobs:
 
       - name: Update and Push JaCoCo Badge
         run: |-
-          git add .github/badges/jacoco.svg
           git config user.name "GitHub Actions"
           git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
-          git commit -m "Update Jacoco badge"
-          git push origin badges
-        shell: bash
+          git add .
+          if [[ $(git commit -m "Update Jacoco badge") ]]; then git push origin badges; fi
+        shell: bash