mirror of
https://github.com/openwrt/openwrt.git
synced 2025-12-21 17:04:28 +04:00
3cc98db1a422 formal: fix workflow permissions
Changes: 2737da3819...3cc98db1a4
Link: https://github.com/openwrt/openwrt/pull/21102
Signed-off-by: Hauke Mehrtens <hauke@hauke-m.de>