diff options
| author | Rangi42 <remy.oukaour+rangi42@gmail.com> | 2024-09-18 21:49:35 -0400 |
|---|---|---|
| committer | Rangi42 <remy.oukaour+rangi42@gmail.com> | 2024-09-18 21:49:35 -0400 |
| commit | 21cfdbd4588eb44e7c12ce8beb5096fe39833ff2 (patch) | |
| tree | 33b1b69f0f67a2a05eb0b1af4b4f08f1c01999f4 /.github | |
| parent | Identify remaining uses of `wd0b5` and `wd11e` (#463) (diff) | |
| download | pokeyellow-21cfdbd4588eb44e7c12ce8beb5096fe39833ff2.tar.gz pokeyellow-21cfdbd4588eb44e7c12ce8beb5096fe39833ff2.tar.xz pokeyellow-21cfdbd4588eb44e7c12ce8beb5096fe39833ff2.zip | |
Remove the Discord webhook and tools/unnamed.py
Everything is named, unnamed.py reports 100.00% complete
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 |