Added check for changes before pushing

.github/workflows/gradle.yml

@@ -73,6 +73,5 @@ jobs:
           git config user.name "GitHub Actions"
           git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
           git add .
-          git commit -m "Update Jacoco badge"
-          git push origin badges
+          if [[ $(git commit -m "Update Jacoco badge") ]]; then git push origin badges; fi
         shell: bash