]> git.ipfire.org Git - thirdparty/openwrt.git/commit
projects / thirdparty / openwrt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1aee2f5) | patch
formal: fix workflow permissions 20930/head
authorGeorge Sapkin <george@sapk.in>
Tue, 25 Nov 2025 12:10:50 +0000 (14:10 +0200)
committerRobert Marko <robimarko@gmail.com>
Sat, 29 Nov 2025 17:05:53 +0000 (18:05 +0100)
commit9f6c16e722e6f1553e8242e907e3a23accc3912d
treec7a56ad9e74231f8b4a01c81d6dde15874367168tree
parent1aee2f5567e86b377c94d374929bc26e251bb3d7commit | diff
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@sapk.in>
Link: https://github.com/openwrt/openwrt/pull/20930
Signed-off-by: Robert Marko <robimarko@gmail.com>
.github/workflows/formal.yml diff | blob | blame | history
Mirror of https://github.com/openwrt/openwrt.git