diff options
| author | Ellie Hermaszewska <ellieh@nvidia.com> | 2024-10-29 09:05:12 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-10-29 09:05:12 +0800 |
| commit | a1032dd738305b56bd2df5b654dd8c5296408848 (patch) | |
| tree | 9f29d9d5eec525ad49703fc3eb84ddb297b0b51d /.github/workflows/slash-command-dispatch.yml | |
| parent | b7a619b45b0745f166d2dcc5985b994fb1d85d13 (diff) | |
Improvements to formatting bot (#5421)
* Use github token for formatting command dispatch
* Open PR instead of committing directly when formatting
* Add --no-version-check option to formatting script
* Colorful diff output for cmake formatting
Diffstat (limited to '.github/workflows/slash-command-dispatch.yml')
| -rw-r--r-- | .github/workflows/slash-command-dispatch.yml | 11 |
1 files changed, 3 insertions, 8 deletions
diff --git a/.github/workflows/slash-command-dispatch.yml b/.github/workflows/slash-command-dispatch.yml index c4c9a7ae7..2e72c3bf4 100644 --- a/.github/workflows/slash-command-dispatch.yml +++ b/.github/workflows/slash-command-dispatch.yml @@ -12,14 +12,9 @@ jobs: with: token: ${{ secrets.GITHUB_TOKEN }} reaction-token: ${{ secrets.SLANGBOT_PAT }} - config: > - [ - { - "command": "format", - "permission": "none", - "issue_type": "pull-request" - } - ] + issue-type: pull-request + commands: | + format - name: Edit comment with error message if: steps.scd.outputs.error-message |