* New leaderboard styling with custom table (instead of Gradio dataframe) 5d5cc81 mrfakename commited on 27 days ago
