openwrt/uci
1
0
Fork 0
mirror of https://git.openwrt.org/project/uci.git synced 2025-12-20 00:53:58 +08:00
Code Issues Packages 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: openwrt/actions-shared-workflows#64
Signed-off-by: George Sapkin <george@sapk.in>
Link: https://github.com/openwrt/uci/pull/16
Signed-off-by: Álvaro Fernández Rojas <noltari@gmail.com>
This commit is contained in:
George Sapkin
2025-11-26 15:37:31 +02:00
committed by Álvaro Fernández Rojas
parent 5bea135723
commit 66127cd76c
1 changed files with 6 additions and 0 deletions
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:
contents: read
pull-requests: write
jobs:
build:
name: Test Formalities
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