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 }}