Is the leaderboard space deprecated then?

#31
by zhiminy - opened

I saw the following notice on the main page:
image.png

@DachengLi @lisabdunlap @weichiang

Sign up or log in to comment