projects / project / uci.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5bea135) | patch
formal: fix workflow permissions master
authorGeorge Sapkin <george@sapk.in>
Wed, 26 Nov 2025 13:37:31 +0000 (15:37 +0200)
committerÁlvaro Fernández Rojas <noltari@gmail.com>
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 <george@sapk.in>
Link: https://github.com/openwrt/uci/pull/16
Signed-off-by: Álvaro Fernández Rojas <noltari@gmail.com>
.github/workflows/formal.yml diff | blob | history
OpenWrt Unified Configuration Interface