chore: publish from main

This commit is contained in:
github-actions[bot]
2026-07-18 00:50:03 +00:00
parent 941c2a4b41
commit 7174a12f1c
514 changed files with 222 additions and 50538 deletions
+11 -1
View File
@@ -62,6 +62,16 @@ function collectLocalPluginsFromRoot(rootDir, sourcePrefix, includeEntry = () =>
return plugins;
}
function hasExtensionEntryPoint(extensionDir, extensionName) {
const candidateEntryPoints = [
path.join(extensionDir, "extension.mjs"),
path.join(extensionDir, "extensions", "extension.mjs"),
path.join(extensionDir, "extensions", extensionName, "extension.mjs"),
];
return candidateEntryPoints.some((entryPointPath) => fs.existsSync(entryPointPath));
}
/**
* Generate marketplace.json from plugin directories
*/
@@ -78,7 +88,7 @@ function generateMarketplace() {
...collectLocalPluginsFromRoot(
EXTENSIONS_DIR,
"extensions",
(entryName) => fs.existsSync(path.join(EXTENSIONS_DIR, entryName, "extension.mjs"))
(entryName) => hasExtensionEntryPoint(path.join(EXTENSIONS_DIR, entryName), entryName)
)
];