diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index df5cb8f31..3bb3dab68 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -46,10 +46,3 @@ jobs: git add --update git commit -m "Auto-format with Prettier" || : git push origin HEAD:${{github.event.pull_request.head.ref}} - - - name: Comment PR - if: failure() - uses: thollander/actions-comment-pull-request@v1 - with: - message: "It seems like your PR failed for some reason! Click on 'Files changed' in the GitHub UI and look for red errors (dont worry about unchanged files)" - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}