Merge branch 'master' into phoebe/procedure/http-metrics

Author: gefjon

.github/workflows/ci.yml

@@ -512,7 +512,7 @@ jobs:
           cargo run --features markdown-docs -p spacetimedb-cli > docs/docs/cli-reference.md
           pnpm format
           git status
-          if git diff --exit-code HEAD; then
+          if git diff --exit-code HEAD -- docs/docs/cli-reference.md; then
             echo "No docs changes detected"
           else
             echo "It looks like the CLI docs have changed:"

.github/workflows/discord-posts.yml

@@ -60,11 +60,11 @@ jobs:
             message+=$'\n'
             # This uses special Discord syntax for pinging a particular role.
             # Note the '&' - this is the difference between pinging a *role* and pinging a *person*.
-            message+=" (cc <@&${MENTION_ON_FAILURE}>"
             if [[ -n "${author_discord_id}" ]]; then
-              message+=" <@${author_discord_id}>"
+              message+="<@${author_discord_id}> please investigate these failures."
             fi
-            message+=")"
+            message+=$'\n'
+            message+="(cc <@&${MENTION_ON_FAILURE}> - Releases may be affected)"
           fi
           # Use `jq` to construct the json data blob in the format required by the webhook.
           data="$(jq --null-input --arg msg "$message" '.content=$msg')"