do not show empty leaderboard table when user is not loggedin#883

Didayolo merged 1 commit into

developcodalab/codabench:developfrom

leaderboard_not_signed_incodalab/codabench:leaderboard_not_signed_inCopy head branch name to clipboard