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