diff options
| author | George Sapkin | 2025-11-25 12:10:50 +0000 |
|---|---|---|
| committer | Robert Marko | 2025-11-30 11:42:58 +0000 |
| commit | e781816fe1ffd19a00a9d66d77898924798579c7 (patch) | |
| tree | 308def7af96002f964ccb8f399aa1bb954a1b199 | |
| parent | 913e26b20fb532b47f6da5a16278cfd20deb2f41 (diff) | |
| download | openwrt-e781816fe1ffd19a00a9d66d77898924798579c7.tar.gz | |
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 9f6c16e722e6f1553e8242e907e3a23accc3912d)
Link: https://github.com/openwrt/openwrt/pull/20986
Signed-off-by: Robert Marko <robimarko@gmail.com>
| -rw-r--r-- | .github/workflows/formal.yml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.github/workflows/formal.yml b/.github/workflows/formal.yml index 081129d6f0..d57b17a562 100644 --- a/.github/workflows/formal.yml +++ b/.github/workflows/formal.yml @@ -5,8 +5,14 @@ on: permissions: contents: read + pull-requests: write jobs: build: name: Test Formalities uses: openwrt/actions-shared-workflows/.github/workflows/formal.yml@main + # with: + # # Post formality check summaries to the PR. + # # Repo's permissions need to be updated for actions to modify PRs: + # # https://docs.github.com/en/rest/issues/comments?apiVersion=2022-11-28#create-an-issue-comment + # post_comment: true |