From a5c0da9bbebb1b5703778d83d147e262055cd46c Mon Sep 17 00:00:00 2001
From: Rangi <remy.oukaour+rangi42@gmail.com>
Date: Sat, 19 Jun 2021 22:27:15 -0400
Subject: Switch from Travis CI to GitHub Actions

---
 .github/webhook.sh | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100755 .github/webhook.sh

(limited to '.github/webhook.sh')

diff --git a/.github/webhook.sh b/.github/webhook.sh
new file mode 100755
index 00000000..ce454a49
--- /dev/null
+++ b/.github/webhook.sh
@@ -0,0 +1,13 @@
+#!/bin/sh
+set -e
+
+# Report unnamed symbols
+content="$(tools/unnamed.py -r . pokered.sym | head)"
+
+curl -H 'Content-Type: application/json' -X POST "$DISCORD_WEBHOOK_URL" -d@- << EOF
+{
+    "username": "OK",
+    "avatar_url": "https://i.imgur.com/38BQHdd.png",
+    "content": "\`\`\`$(echo "$content" | sed -E ':a;N;$!ba;s/\r{0,1}\n/\\n/g')\`\`\`"
+}
+EOF
-- 
cgit v1.3.1-sl0p