diff options
Diffstat (limited to '.github')
| -rwxr-xr-x | .github/webhook.sh | 13 | ||||
| -rw-r--r-- | .github/workflows/main.yml | 7 |
2 files changed, 0 insertions, 20 deletions
diff --git a/.github/webhook.sh b/.github/webhook.sh deleted file mode 100755 index 2ba63dbb..00000000 --- a/.github/webhook.sh +++ /dev/null @@ -1,13 +0,0 @@ -#!/bin/sh -set -e - -# Report unnamed symbols -content="$(tools/unnamed.py -r . -l 30 pokered.sym | head)" - -curl -H 'Content-Type: application/json' -X POST "$DISCORD_WEBHOOK_URL" -d@- << EOF -{ - "username": "OK", - "avatar_url": "https://i.imgur.com/38BQHdd.png", - "content": "\`\`\`$(echo "$content" | sed -E ':a;N;$!ba;s/\r{0,1}\n/\\n/g')\`\`\`" -} -EOF diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 0a0da0f3..7ac61def 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -48,13 +48,6 @@ jobs: return 1 fi - - name: Discord webhook - if: ${{ github.event_name == 'push' && github.repository_owner == 'pret' }} - env: - DISCORD_WEBHOOK_URL: ${{ secrets.DISCORD_WEBHOOK_URL }} - run: | - .github/webhook.sh - - name: Checkout symbols if: ${{ github.event_name == 'push' && github.repository_owner == 'pret' }} uses: actions/checkout@master |