Skip to content

[CI] leaderboard formatting#58

Merged
YannDubs merged 1 commit intomainfrom CI_update_leaderboardJul 5, 2023

Commits

Commits on Jul 5, 2023