mirror of
https://github.com/tiennm99/is-a-dev.git
synced 2026-10-12 20:15:46 +00:00
Add support for labeled pull requests
Added handling for labeled pull requests in the workflow.
This commit is contained in:
1 parent
c6f9604609
commit
fce6208c00
1 file changed
+2
@@ -6,6 +6,7 @@ on:
|
||||
- opened
|
||||
- edited
|
||||
- synchronize
|
||||
- labeled
|
||||
|
||||
permissions:
|
||||
contents: read
|
||||
@@ -28,6 +29,7 @@ jobs:
|
||||
PR_BODY: ${{ github.event.pull_request.body }}
|
||||
PR_AUTHOR: ${{ github.event.pull_request.user.login }}
|
||||
PR_AUTHOR_ID: ${{ github.event.pull_request.user.id }}
|
||||
PR_LABELS: ${{ toJSON(github.event.pull_request.labels.*.name) }}
|
||||
run: node util/check-pr-template.cjs
|
||||
|
||||
- name: Handle incomplete PR
|
||||
|
||||
Reference in new issue
Block a user