mirror of
https://github.com/pret/pokered.git
synced 2024-10-22 22:55:31 +00:00
List unidentified labels in Discord webhook
This commit is contained in:
parent
e8868d53e9
commit
100e0a76fb
1 changed files with 1 additions and 1 deletions
2
.github/webhook.sh
vendored
2
.github/webhook.sh
vendored
|
@ -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
|
||||
{
|
||||
|
|
Loading…
Reference in a new issue