[openwrt/openwrt] formal: fix workflow permissions

[LEDE Commits]

robimarko pushed a commit to openwrt/openwrt.git, branch main:
https://git.openwrt.org/9f6c16e722e6f1553e8242e907e3a23accc3912d

commit 9f6c16e722e6f1553e8242e907e3a23accc3912d
Author: George Sapkin <george at sapk.in>
AuthorDate: Tue Nov 25 14:10:50 2025 +0200

    formal: fix workflow permissions
    
    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 at sapk.in>
    Link: https://github.com/openwrt/openwrt/pull/20930
    Signed-off-by: Robert Marko <robimarko at gmail.com>
---
 .github/workflows/formal.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/formal.yml b/.github/workflows/formal.yml
index 081129d6f0..d57b17a562 100644
--- a/.github/workflows/formal.yml
+++ b/.github/workflows/formal.yml
@@ -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 at 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