minor

StonyBrookNLP · Nov 29, 2024 · c6deaed · c6deaed
1 parent 9d7fd74
commit c6deaed
Showing 1 changed file with 2 additions and 6 deletions.
diff --git a/.github/workflows/leaderboard.yml b/.github/workflows/leaderboard.yml
@@ -89,12 +89,8 @@ jobs:
             git config user.name "github-actions[bot]"
             git config user.email "github-actions[bot]@users.noreply.github.com"
             git add -f experiments/outputs/_leaderboard.json
-            if git diff-index --quiet HEAD --; then
-              echo "No changes to commit"
-            else
-              git commit -m "add leaderboard entry"
-              git push origin ${{ steps.get-branch.outputs.branch }}
-            fi
+            git commit -m "add leaderboard entry" || true
+            git push origin ${{ steps.get-branch.outputs.branch }} || true
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}