hurricos/openwrt-mirror
1
0
Fork 0
mirror of git://git.openwrt.org/openwrt/openwrt.git synced 2025-12-08 13:42:10 -05:00
Code Issues Projects Releases Wiki Activity

formal: fix workflow permissions

Browse Source 
Fix formality check permissions that are needed to post optional
summaries back to the PR.

Link: https://github.com/openwrt/actions-shared-workflows/pull/64
Signed-off-by: George Sapkin <george@sapk.in>
Link: https://github.com/openwrt/openwrt/pull/20930
Signed-off-by: Robert Marko <robimarko@gmail.com>
This commit is contained in:
George Sapkin 2025-11-25 14:10:50 +02:00 committed by Robert Marko
parent 1aee2f5567
commit 9f6c16e722
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.github/workflows/formal.yml vendored
View File

@ -5,8 +5,14 @@ on:
permissions: permissions:
contents: read contents: read
pull-requests: write
jobs: jobs:
build: build:
name: Test Formalities name: Test Formalities
uses: openwrt/actions-shared-workflows/.github/workflows/formal.yml@main uses: openwrt/actions-shared-workflows/.github/workflows/formal.yml@main
# with:
# # Post formality check summaries to the PR.
# # Repo's permissions need to be updated for actions to modify PRs:
# # https://docs.github.com/en/rest/issues/comments?apiVersion=2022-11-28#create-an-issue-comment
# post_comment: true