Skip to content

Add rank to leaderboard_total and change rendering of stars#5

Merged
julian9499 merged 1 commit intomainfrom feature/leaderboard-total-rankDec 20, 2024