Merge branch 'main' into main

This commit is contained in:
is-a.dev Bot authored and GitHub committed 2026-08-19 13:46:36 +08:00
commit 05abdc9d56
2 files changed
+12 -10

No files matched your search

-10
View File
@@ -135,18 +135,8 @@ jobs:
name: label name: label
}); });
} catch (error) { } catch (error) {
if (error.status === 404) {
await github.rest.issues.createLabel({
owner: context.repo.owner,
repo: context.repo.repo,
name: label,
color: "D93F0B",
description: "Your PR template is not complete. (e.g. missing the requirements form, missing website preview)"
});
} else {
throw error; throw error;
} }
}
const labels = await github.rest.issues.listLabelsOnIssue({ const labels = await github.rest.issues.listLabelsOnIssue({
owner: context.repo.owner, owner: context.repo.owner,
+12
View File
@@ -1,6 +1,18 @@
name: Update PR Branches name: Update PR Branches
on: on:
push:
branches: main
paths:
- "tests/*"
- ".github/workflows/ci.yml"
- ".github/workflows/pr.yml"
- "util/check-pr-template.cjs"
- "util/disallowed-cnames.json"
- "util/internal.json"
- "util/reserved.json"
- "util/trusted.json"
workflow_dispatch: workflow_dispatch:
jobs: jobs: