From 5d4a31174f9ec7b964c841229f2a22e793fc716e Mon Sep 17 00:00:00 2001 From: Harsh Trivedi Date: Thu, 28 Nov 2024 14:51:25 -0500 Subject: [PATCH] minor --- .github/workflows/leaderboard.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/leaderboard.yml b/.github/workflows/leaderboard.yml index 3c939c8..21c5370 100644 --- a/.github/workflows/leaderboard.yml +++ b/.github/workflows/leaderboard.yml @@ -174,8 +174,8 @@ jobs: echo "Checking if Entry ID is in the diff..." git fetch origin main diff_content=$(git diff origin/main..HEAD experiments/outputs/_leaderboard.json) - cat diff_content echo "$diff_content" > diff_content.txt + cat diff_content.txt if echo "$diff_content" | grep -q "$entry_id"; then echo "Entry ID found in diff." else