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
tree6847f3a8e9958b71308522bac3a8ecb91e1bb181
parent0bf1ec3c3d9459ce8dc6fa7e1b6084518a0b5a55
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