monkeytypegame/monkeytype
1
1
Fork 0
mirror of https://github.com/monkeytypegame/monkeytype.git synced 2025-03-06 19:54:39 +08:00
Code Issues Projects Releases Packages Wiki Activity

Update ci.yml

Browse source
This commit is contained in:
Jack 2021-10-01 00:21:52 +01:00 committed by GitHub
parent 214fe571f8
commit 62e4ce396d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
.github/workflows/ci.yml vendored
View file

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