mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

only one Zulip cron job topic per month

Browse Source
This commit is contained in:
Ralf Jung 2022-06-24 09:13:36 -04:00
parent cd90e1130e
commit bb6fcb71c0
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/ci.yml vendored
View File

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