diff options
| -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 081129d..d57b17a 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 |