List unidentified labels in Discord webhook

pret · Nov 21, 2023 · 100e0a7 · 100e0a7
1 parent e8868d5
commit 100e0a7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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
 {