projects / feed / routing.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0bf1ec3) | patch
formal: fix workflow permissions
authorGeorge Sapkin <[email protected]>
Wed, 26 Nov 2025 13:38:12 +0000 (15:38 +0200)
committerJosef Schlehofer <[email protected]>
Fri, 28 Nov 2025 22:29:52 +0000 (23:29 +0100)
commit55cacd416d3961c498ad83d08e824eaf2a2d18a7
tree6847f3a8e9958b71308522bac3a8ecb91e1bb181tree | snapshot
parent0bf1ec3c3d9459ce8dc6fa7e1b6084518a0b5a55commit | 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]>
.github/workflows/formal.yml diff | blob | history
Mirror of routing feed