The leaderboard looks like this: <img width="701" alt="Capture d’écran 2023-07-25 à 18 48 17" src="https://github.com/codalab/codabench/assets/11784999/fc9c6b1b-10b4-42db-99ab-240686f4ae04"> It is too cluttered and redundant. Let's replace the link by "Show", or maybe a tiny manifying glass 🔎.
The leaderboard looks like this:
It is too cluttered and redundant. Let's replace the link by "Show", or maybe a tiny manifying glass 🔎.