release build and other CI

This commit is contained in:
2026-06-05 16:58:11 +09:30
parent b535e87023
commit 3f1910f610
18 changed files with 806 additions and 29 deletions
+4
View File
@@ -49,6 +49,10 @@ export interface SettingsState {
animations: boolean;
defaultPage: string;
devMode?: boolean;
/** Dev-only: pretend this is the latest GitHub release version for update badge testing. */
devGhReleaseVersionOverride?: string;
/** ISO timestamp of the last acknowledged nightly release publish time. */
lastSeenNightlyPublishedAt?: string;
originalDarkMode?: boolean;
newsSource?: string;
mockNotices?: boolean;