diff options
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 { |