George Sapkin e781816fe1 formal: fix workflow permissions ...

Fix formality check permissions that are needed to post optional
summaries back to the PR.

Link: https://github.com/openwrt/actions-shared-workflows/pull/64
Signed-off-by: George Sapkin <george@sapk.in>
Link: https://github.com/openwrt/openwrt/pull/20930
(cherry picked from commit 9f6c16e722)
Link: https://github.com/openwrt/openwrt/pull/20986
Signed-off-by: Robert Marko <robimarko@gmail.com>

2025-11-30 12:42:58 +01:00

..

scripts

ci: show_build_failures: fix missing output for configure failures

2023-01-09 11:22:10 +01:00

coverity.yml

CI: migrate each workflow to use reusable workflow from dedicated repo

2023-06-25 02:08:56 +02:00

formal.yml

formal: fix workflow permissions

2025-11-30 12:42:58 +01:00

github-release.yml

ci: add workflow for automated GitHub release

2023-11-01 12:26:18 +00:00

issue-labeller.yml

CI: issue-labeller: fix wrong CRLF line-ending

2023-11-16 12:38:18 +01:00

kernel.yml

CI: provide new required secret for S3 endpoint and bucket name

2023-08-05 01:58:29 +02:00

label-kernel.yml

CI: migrate each workflow to use reusable workflow from dedicated repo

2023-06-25 02:08:56 +02:00

label-target.yml

CI: migrate each workflow to use reusable workflow from dedicated repo

2023-06-25 02:08:56 +02:00

labeler.yml

CI: update actions/labeler to v5

2024-09-24 11:42:22 +02:00

packages.yml

CI: provide new required secret for S3 endpoint and bucket name

2023-08-05 01:58:29 +02:00

push-containers.yml

CI: push-containers: refresh containers also on modify cmake options

2023-10-04 13:28:58 +02:00

toolchain.yml

CI: migrate each workflow to use reusable workflow from dedicated repo

2023-06-25 02:08:56 +02:00

tools.yml

CI: migrate each workflow to use reusable workflow from dedicated repo

2023-06-25 02:08:56 +02:00