Add account based multiplayer hosting and bug report retention

This commit is contained in:
2026-10-10 16:24:34 +05:00
parent 9af71c85c2
commit fc6da6756d
33 changed files with 1538 additions and 102 deletions

View File

@@ -702,6 +702,45 @@ export type Database = {
[_ in never]: never;
};
Functions: {
receive_bug_close: {
Args: { p_report: string; p_external: string };
Returns: boolean;
};
set_bug_report_done: {
Args: {
p_report: string;
p_done: boolean;
p_closed_at?: string | null;
};
Returns: boolean;
};
claim_bug_cleanup: {
Args: { p_report: string; p_worker: string };
Returns: import("./bug-reports").BugReportRecord[];
SetofOptions: {
from: "*";
to: "bug_reports";
isOneToOne: false;
isSetofReturn: true;
};
};
begin_bug_purge: {
Args: { p_report: string; p_closed_at: string };
Returns: boolean;
};
finish_bug_purge: {
Args: { p_report: string; p_closed_at: string };
Returns: boolean;
};
join_multiplayer_room: {
Args: {
p_room: string;
p_access_hash: string;
p_owner: string | null;
p_name: string;
};
Returns: Json;
};
claim_discord_cleanup: {
Args: { p_worker: string; p_target?: string | null };
Returns: import("./discord").DiscordAnnouncement[];