Auto merge of #1730 - RalfJung:zulip, r=oli-obk

add date to Zulip notification subject

We sometimes have discussions in those threads; let's make sure we have a new thread for each new day (which likely means a new problem... or nobody got around to fixing things yet^^).

Author: bors

.github/workflows/ci.yml

@@ -129,7 +129,7 @@ jobs:
           ZULIP_BOT_EMAIL: ${{ secrets.ZULIP_BOT_EMAIL }}
           ZULIP_API_TOKEN: ${{ secrets.ZULIP_API_TOKEN }}
         run: |
-          ~/.local/bin/zulip-send --stream miri --subject "Cron Job Failure" \
+          ~/.local/bin/zulip-send --stream miri --subject "Cron Job Failure $(date -uI)" \
             --message 'Dear @**RalfJ** and @**oli**
 
           It would appear that the Miri cron job build failed. Would you mind investigating this issue?