leaderboard: filter-bar polish, stacked headers, scrollable matrix, robust sort#28

radinhamidi merged 1 commit into

mainls3-lab/QueryGym:mainfrom

leaderboard/table-polish-2ls3-lab/QueryGym:leaderboard/table-polish-2Copy head branch name to clipboard