From d345f76d02a23d94550b1b60be90585f6f5276b7 Mon Sep 17 00:00:00 2001 From: embeddedt <42941056+embeddedt@users.noreply.github.com> Date: Sat, 5 Mar 2022 17:11:39 -0500 Subject: [PATCH] ci remove formatting comment This only works when the author is an @lvgl member. --- .github/workflows/check_style.yml | 9 --------- 1 file changed, 9 deletions(-) diff --git a/.github/workflows/check_style.yml b/.github/workflows/check_style.yml index 63495a4ca8..b2944d3659 100644 --- a/.github/workflows/check_style.yml +++ b/.github/workflows/check_style.yml @@ -28,12 +28,3 @@ jobs: echo "Please apply the preceding diff to your code or run scripts/code-format.py" exit 1 fi - - name: Comment PR - uses: thollander/actions-comment-pull-request@v1 - if: github.event_name == 'pull_request' && failure() - with: - message: | - Your PR needs its formatting corrected before it can be merged upstream. - - Please run `scripts/code-format.py` and commit the resulting change. - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}