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