message: Zulip notifications: ping the Miri team
diff: @@ -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?
  