CI: validate pushes on every branch; a GitHub source names owner and repo alone

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This commit is contained in:
ZacharyZhang-NYandClaude Opus 5.5 committed 2026-10-04 21:09:16 -04:00
1 parent 42fcc20460
commit 99fcc774b4
4 files changed
+4 -2

No files matched your search

+1
View File
@@ -126,6 +126,7 @@ function manifest(dir, id) {
if (new Set(app.platforms).size !== app.platforms.length) fail(where, "platforms repeat");
address(where, app.website, "website");
address(where, app.source, "source");
if (app.source && new URL(app.source).hostname === "github.com" && !github(app.source)) fail(where, `a GitHub source is https://github.com/owner/repo: ${app.source}`);
if (app.website === null && app.source === null) fail(where, "website or source is required");
if (!Array.isArray(app.previews) || !app.previews.length) fail(where, "previews must be a non-empty list");
if (new Set(app.previews).size !== app.previews.length) fail(where, "previews repeat");