Skip to content

fix: rank leaderboard header cards by the same averaged data as the charts - #148

Merged
ruyadorno merged 3 commits into
mainfrom
fix/leaderboard-card-ranking
Aug 19, 2026
Merged

fix: rank leaderboard header cards by the same averaged data as the charts#148
ruyadorno merged 3 commits into
mainfrom
fix/leaderboard-card-ranking

fix: keep original card values, only change ranking to average time

af7a386
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar