[#8] Update the leaderboard every 10 minutes (#38) 076f69b unverified Kang Suhyun suhyun.kang commited on Mar 15