diff options
| author | Rangi42 <remy.oukaour+rangi42@gmail.com> | 2023-11-20 19:25:49 -0500 |
|---|---|---|
| committer | Rangi42 <remy.oukaour+rangi42@gmail.com> | 2023-11-20 19:25:49 -0500 |
| commit | 100e0a76fb338d994f4a6f99c4967f22e425299e (patch) | |
| tree | 6e6bf90bdf215242741c10bdd15641bf62bcecc3 /.github | |
| parent | Have palfix.py always output grayscale (diff) | |
| download | pokeyellow-100e0a76fb338d994f4a6f99c4967f22e425299e.tar.gz pokeyellow-100e0a76fb338d994f4a6f99c4967f22e425299e.tar.xz pokeyellow-100e0a76fb338d994f4a6f99c4967f22e425299e.zip | |
List unidentified labels in Discord webhook
Diffstat (limited to '.github')
| -rwxr-xr-x | .github/webhook.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/webhook.sh b/.github/webhook.sh index ce454a49..2ba63dbb 100755 --- a/.github/webhook.sh +++ b/.github/webhook.sh @@ -2,7 +2,7 @@ set -e # Report unnamed symbols -content="$(tools/unnamed.py -r . pokered.sym | head)" +content="$(tools/unnamed.py -r . -l 30 pokered.sym | head)" curl -H 'Content-Type: application/json' -X POST "$DISCORD_WEBHOOK_URL" -d@- << EOF { |