From 100e0a76fb338d994f4a6f99c4967f22e425299e Mon Sep 17 00:00:00 2001 From: Rangi42 Date: Mon, 20 Nov 2023 19:25:49 -0500 Subject: [PATCH] List unidentified labels in Discord webhook --- .github/webhook.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/webhook.sh b/.github/webhook.sh index ce454a499e..2ba63dbbff 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 {