mirror of
https://github.com/monkeytypegame/monkeytype.git
synced 2024-11-10 17:04:49 +08:00
added comment on fail
This commit is contained in:
parent
147602e927
commit
61c5c0474a
1 changed files with 10 additions and 0 deletions
10
.github/workflows/ci.yml
vendored
10
.github/workflows/ci.yml
vendored
|
@ -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 }}
|
||||
|
|
Loading…
Reference in a new issue