public/harvester-ui-extension
1
0
Fork 0
mirror of https://github.com/harvester/harvester-ui-extension.git synced 2026-02-04 15:01:46 +00:00
Code Issues Packages Projects Releases Wiki Activity

ci: correct set PR label script name (#476)

Browse Source 
* fix: set label script name

Signed-off-by: Andy Lee <andy.lee@suse.com>

* ci: rerun PR label after PR edited

Signed-off-by: Andy Lee <andy.lee@suse.com>

---------

Signed-off-by: Andy Lee <andy.lee@suse.com>
This commit is contained in:
Andy Lee 2025-08-25 17:40:03 +08:00 committed by GitHub
parent 2b3541164d
commit db29a7c31b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/release-label.yaml vendored
View File

@ -2,7 +2,7 @@ name: "[PR Management] Add PR Label"
on: on:
pull_request_target: pull_request_target:
types: [opened, reopened] types: [opened, reopened, edited]
branches: branches:
- main - main
- 'release-harvester-v*' - 'release-harvester-v*'
@ -28,6 +28,6 @@ jobs:
env: env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: | run: |
PR_LABEL=$(node ./scripts/extract-pr-label.js "${{ github.event.pull_request.title }}") PR_LABEL=$(node ./scripts/extract-release-label.mjs "${{ github.event.pull_request.title }}")
echo "PR_LABEL = $PR_LABEL" echo "PR_LABEL = $PR_LABEL"
gh pr edit ${{ github.event.pull_request.number }} --repo ${{ github.repository }} --add-label "$PR_LABEL" gh pr edit ${{ github.event.pull_request.number }} --repo ${{ github.repository }} --add-label "$PR_LABEL"

1
.github/workflows/run-lint.yaml vendored
View File

@ -7,6 +7,7 @@ on:
- main - main
- 'release-*' - 'release-*'
pull_request: pull_request:
types: [opened, reopened, edited]
branches: branches:
- main - main
- 'release-*' - 'release-*'