projects / openwrt / openwrt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 913e26b) | patch
formal: fix workflow permissions
authorGeorge Sapkin <george@sapk.in>
Tue, 25 Nov 2025 12:10:50 +0000 (14:10 +0200)
committerRobert Marko <robimarko@gmail.com>
Sun, 30 Nov 2025 11:42:58 +0000 (12:42 +0100)
commite781816fe1ffd19a00a9d66d77898924798579c7
tree308def7af96002f964ccb8f399aa1bb954a1b199tree | snapshot
parent913e26b20fb532b47f6da5a16278cfd20deb2f41commit | 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
(cherry picked from commit 9f6c16e722e6f1553e8242e907e3a23accc3912d)
Link: https://github.com/openwrt/openwrt/pull/20986
Signed-off-by: Robert Marko <robimarko@gmail.com>
.github/workflows/formal.yml diff | blob | history
OpenWrt Source Repository