File tree Expand file tree Collapse file tree 1 file changed +4
-3
lines changed
Expand file tree Collapse file tree 1 file changed +4
-3
lines changed Original file line number Diff line number Diff line change 22
33on :
44 pull_request_target :
5- types : [opened, reopened, edited]
5+ types : [opened, reopened, edited, closed ]
66
77jobs :
88 reminder :
1414 steps :
1515 - name : Check if PR has no labels
1616 id : check
17- uses : actions/github-script@v7
17+ uses : actions/github-script@v8
1818 with :
1919 result-encoding : string
2020 script : |
@@ -28,13 +28,14 @@ jobs:
2828 message : ' To maintainers: Please add labels to this PR'
2929
3030 Sync :
31+ if : github.event.pull_request.state == 'open'
3132 runs-on : ubuntu-latest
3233 permissions :
3334 pull-requests : write
3435 issues : read
3536 contents : read
3637 steps :
37- - uses : actions/github-script@v7
38+ - uses : actions/github-script@v8
3839 with :
3940 script : |
4041 const allowed = ['bug', 'enhancement', 'meta']
You can’t perform that action at this time.
0 commit comments