Skip to content

fix(leaderboard): 日志区分 null 和 object (Copilot CR PR #328) #329

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
longsizhuo merged 1 commit into from
Apr 27, 2026
Merged

fix(leaderboard): 日志区分 null 和 object (Copilot CR PR #328) #329

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 3 additions & 1 deletion scripts/generate-leaderboard.mjs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -185,8 +185,10 @@ async function main() {
preservedExisting = true;
} else {
// 非数组（对象、字面量、null 等）→ 不 preserve，走下方兜底覆盖空数组
// typeof null === "object" 是 JS 历史包袱，单独标识避免排查时误以为是普通对象
const kind = parsed === null ? "null" : typeof parsed;
console.warn(
`[generate-leaderboard] ${OUTPUT} 已存在但内容不是数组（typeof=${typeof parsed}），按无效数据处理，兜底覆盖为 []。`,
`[generate-leaderboard] ${OUTPUT} 已存在但内容不是数组（kind=${kind}），按无效数据处理，兜底覆盖为 []。`,
);
}
} catch {
Expand Down
Loading