Revision 6f2c0d467f31951eddf0d62df499cf0de5775205 authored by Daniel Underwood on 21 June 2022, 05:34:49 UTC, committed by GitHub on 21 June 2022, 05:34:49 UTC
This change updates the UI to document the correct Group Mention format for Discord Contact Points. The Discord API documentation (https://discord.com/developers/docs/reference#message-formatting) uses `<@&ID>` for Group Mentions, not the bare `@` shown in the alerting UI. Testing on 8.5 shows that bare `@` isn't working there.
1 parent f4f31b4
ci-job-succeeded.sh
#!/bin/bash
# shellcheck source=./scripts/helpers/exit-if-fail.sh
source "$(dirname "$0")/helpers/exit-if-fail.sh"
echo -e "Report build times and build outcome"
start=$GF_JOB_START
runtime=$((($(date +%s%N) - start)/1000000))
echo -e "The job $CIRCLE_JOB took $runtime (ms)"
if [ "${CIRCLE_BRANCH}" == "main" ]; then
exit_if_fail ./scripts/ci-metrics-publisher.sh "grafana.ci-buildtimes.$CIRCLE_JOB=$runtime"
exit_if_fail ./scripts/ci-metrics-publisher.sh "grafana.ci-buildoutcome.$CIRCLE_JOB=1"
fi
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...