fix: mini leaderboard

Author: luolin101

src/utils.ts

@@ -217,7 +217,7 @@ export function useAllLeaderboard(mode: 'Full' | 'Lite' = 'Full') {
 
 async function load(mode: 'Full' | 'Lite' = 'Full') {
   const url = mode === 'Lite'
-    ? 'https://raw.githubusercontent.com/multi-swe-bench/experiments/refs/heads/dist/leaderboard-lite.json'
+    ? 'https://raw.githubusercontent.com/multi-swe-bench/experiments/refs/heads/dist/leaderboard-mini.json'
     : 'https://raw.githubusercontent.com/multi-swe-bench/experiments/refs/heads/dist/leaderboard.json'
 
   const response = await fetch(url)