diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 3bb3dab68..1ca6ce89c 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -46,3 +46,13 @@ jobs: git add --update git commit -m "Auto-format with Prettier" || : git push origin HEAD:${{github.event.pull_request.head.ref}} + run-if-failed: + runs-on: ubuntu-latest + needs: [lint_and_format] + if: always() && (needs.job1.result == 'failure') + steps: + - name: Comment PR + 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 }}