From 2902ad91deb5593dca3ee98b8bfa869747240e65 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Tue, 2 Mar 2021 11:09:06 +0100
Subject: [PATCH] add date to Zulip notification subject

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index a55cd8212517..d3d5d65bb94e 100644
--- a/.github/workflows/ci.yml
+++ b/.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?