diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 95303a592c8a..8193411f8799 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -142,7 +142,7 @@ jobs: ZULIP_API_TOKEN: ${{ secrets.ZULIP_API_TOKEN }} run: | ~/.local/bin/zulip-send --stream miri --subject "Cron Job Failure (miri, $(date -u +%Y-%m))" \ - --message 'Dear @**RalfJ** and @**oli** + --message 'Dear @*T-miri*, It would appear that the Miri cron job build failed. Would you mind investigating this issue?