chore: publish from main

This commit is contained in:
github-actions[bot]
2026-10-09 00:35:17 +00:00
parent cbef1c4857
commit 214af0e297
12 changed files with 53 additions and 2120 deletions
+8
View File
@@ -27,6 +27,7 @@ jobs:
'agent': true,
'instructions': true,
'new-submission': true,
'workshops': true,
'website-update': true,
'external-plugin': true,
'hooks': true,
@@ -78,6 +79,9 @@ jobs:
websiteUpdate: [
/^website\//
],
workshops: [
/^website\/(?:.*\/)?(?:cli-for-beginners|app-for-beginners|copilot-workshops)\//
],
externalPlugin: [
/^plugins\/external\.json$/
],
@@ -130,6 +134,10 @@ jobs:
desiredLabels.add('instructions');
}
if (filenames.some((filename) => matchesAny(filename, patterns.workshops))) {
desiredLabels.add('workshops');
}
if (filenames.some((filename) => matchesAny(filename, patterns.websiteUpdate))) {
desiredLabels.add('website-update');
}