Skip to content

Revert "Use kernelbot leaderboard rankings API"#237

Merged
msaroufim merged 1 commit into
mainfrom
revert-236-use-kernelbot-leaderboard-rankings
Jun 17, 2026
Merged

Revert "Use kernelbot leaderboard rankings API"#237
msaroufim merged 1 commit into
mainfrom
revert-236-use-kernelbot-leaderboard-rankings

Revert "Use kernelbot leaderboard rankings API (#236)"

3146c64
Select commit
Loading
Failed to load commit list.