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

leaderboard: use full BRIGHT subset names, drop "BRIGHT —" prefix

a25c6a5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar