update
Deploy / deploy (push) Has been cancelled

This commit is contained in:
xuyue committed 2025-10-27 17:33:11 +08:00
1 parent d88da0739c
commit fe2411083f
2 files changed
+12 -1

No files matched your search

+1
View File
@@ -242,6 +242,7 @@ export interface ProblemSetBadge {
icon: string
condition_type: "all_problems" | "problem_count" | "score"
condition_value: number
is_earned?: boolean
}
export interface UserBadge {