remove markdown leaderboard, add huggingface space as remote 797106d Valentin Buchner commited on Mar 8, 2024
huggingface leaderboard and github action to update markdown leaderboard from json 5d1d0b5 Valentin Buchner commited on Mar 6, 2024