projects / project / uci.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5bea135) | patch
formal: fix workflow permissions master
authorGeorge Sapkin <[email protected]>
Wed, 26 Nov 2025 13:37:31 +0000 (15:37 +0200)
committerÁlvaro Fernández Rojas <[email protected]>
Tue, 2 Dec 2025 13:35:30 +0000 (14:35 +0100)
commit66127cd76c5d0bd46d5a90302cc6110f53a4e2f8
treeee425529244db889f37d03a7d1d1d2beed985000tree | snapshot
parent5bea13572325af4fb3057ff600cc7f7d5b82012bcommit | diff
formal: fix workflow permissions

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 <[email protected]>
Link: https://github.com/openwrt/uci/pull/16
Signed-off-by: Álvaro Fernández Rojas <[email protected]>
.github/workflows/formal.yml diff | blob | history
OpenWrt Unified Configuration Interface