mirror of
https://git.openwrt.org/openwrt/openwrt.git
synced 2025-08-06 07:46:59 +02:00
ci: add missing permission to add comments
While this worked during testing, the repository of a organization requires extra permissions. Add write access to pull requests, like we do over at packages.git. Signed-off-by: Paul Spooren <mail@aparcar.org>
This commit is contained in:
parent
8186e5e5a4
commit
d3324aa208
3
.github/workflows/build-on-comment.yml
vendored
3
.github/workflows/build-on-comment.yml
vendored
@ -4,6 +4,9 @@ on:
|
|||||||
issue_comment:
|
issue_comment:
|
||||||
types: [created, edited]
|
types: [created, edited]
|
||||||
|
|
||||||
|
permissions:
|
||||||
|
pull-requests: write
|
||||||
|
|
||||||
concurrency:
|
concurrency:
|
||||||
group: build-on-comment-${{ github.event.issue.number || github.event.pull_request.number }}
|
group: build-on-comment-${{ github.event.issue.number || github.event.pull_request.number }}
|
||||||
cancel-in-progress: true
|
cancel-in-progress: true
|
||||||
|
Loading…
Reference in New Issue
Block a user