Skip to content

Use full BRIGHT subset names on the leaderboard - #38

Merged
radinhamidi merged 1 commit into
mainfrom
fix/bright-subset-display-names
Jun 19, 2026
Merged

Use full BRIGHT subset names on the leaderboard#38
radinhamidi merged 1 commit into
mainfrom
fix/bright-subset-display-names

Commits

Commits on Jun 19, 2026