fix arena-hard leaderboard

#53
LMArena org
No description provided.
weichiang changed pull request status to open
weichiang changed pull request status to merged

Sign up or log in to comment