diff options
| author | Rangi <remy.oukaour+rangi42@gmail.com> | 2020-12-21 09:08:04 -0500 |
|---|---|---|
| committer | Rangi <remy.oukaour+rangi42@gmail.com> | 2020-12-21 09:08:04 -0500 |
| commit | b87c45afcd9fcd06be459f112b01e6035dc3f20b (patch) | |
| tree | a0cc31919e23ad6106c57e545d3ba3b294eb6bea | |
| parent | 79d7682b03d23a5339ec1194611dd71f5a008e1c (diff) | |
Remove the Discord webhook since unnamed.py reports 100.00% complete
| -rw-r--r-- | .travis.yml | 1 | ||||
| -rwxr-xr-x | .travis/webhook.sh | 15 |
2 files changed, 0 insertions, 16 deletions
diff --git a/.travis.yml b/.travis.yml index f13237ae..251cd927 100644 --- a/.travis.yml +++ b/.travis.yml @@ -24,7 +24,6 @@ script: after_success: - |- if [ "$TRAVIS_BRANCH" = master -a "$TRAVIS_PULL_REQUEST" = false -a "$TRAVIS_OS_NAME" = linux ]; then - ./.travis/webhook.sh if [ -n "$GITHUB_API_KEY" ]; then ./.travis/upload_symbols.sh fi diff --git a/.travis/webhook.sh b/.travis/webhook.sh deleted file mode 100755 index cd41fc91..00000000 --- a/.travis/webhook.sh +++ /dev/null @@ -1,15 +0,0 @@ -#!/bin/sh -set -e - -root="$(readlink -e "$(dirname "$0")/..")" - -# Report unnamed symbols -content="$("$root/tools/unnamed.py" "$root/pokegold.sym" | head -n 20)" - -curl -H 'Content-Type: application/json' -X POST "$POKEGOLD_DISCORD_WEBHOOK_URL" -d@- << EOF -{ - "username": "$POKEGOLD_DISCORD_WEBHOOK_USERNAME", - "avatar_url": "$POKEGOLD_DISCORD_WEBHOOK_AVATAR_URL", - "content": "\`\`\`$(echo "$content" | sed -E ':a;N;$!ba;s/\r{0,1}\n/\\n/g')\`\`\`" -} -EOF |