When I check the option "leaderboard is hidden" in the editor, the leaderboard is still visible for non-admins users: <img width="981" alt="Capture d’écran 2023-09-08 à 18 10 06" src="https://github.com/codalab/codabench/assets/11784999/289b8323-7062-48e6-9656-ee4670c3f5ce"> It just adds a message below the leaderboard.
When I check the option "leaderboard is hidden" in the editor, the leaderboard is still visible for non-admins users:
It just adds a message below the leaderboard.