Add contributor leaderboard

Add types, hook, UI components, and integration for leaderboard showing top users with badges
This commit is contained in:
gpt-engineer-app[bot]
2025-11-11 17:51:15 +00:00
parent 947964482f
commit 9b1c2415b0
9 changed files with 761 additions and 4 deletions

View File

@@ -6829,6 +6829,10 @@ export type Database = {
}
generate_ticket_number: { Args: never; Returns: string }
get_auth0_sub_from_jwt: { Args: never; Returns: string }
get_contributor_leaderboard: {
Args: { limit_count?: number; time_period?: string }
Returns: Json
}
get_current_user_id: { Args: never; Returns: string }
get_database_statistics: { Args: never; Returns: Json }
get_email_change_status: { Args: never; Returns: Json }