From 62e4ce396d15957327443c54a65d1fd29e9ec85a Mon Sep 17 00:00:00 2001 From: Jack Date: Fri, 1 Oct 2021 00:21:52 +0100 Subject: [PATCH] Update ci.yml --- .github/workflows/ci.yml | 7 ------- 1 file changed, 7 deletions(-) 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 }}