add date to Zulip notification subject
This commit is contained in:
parent
46a08b72ef
commit
2902ad91de
1 changed files with 1 additions and 1 deletions
2
.github/workflows/ci.yml
vendored
2
.github/workflows/ci.yml
vendored
|
|
@ -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?
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue