diff options
| author | bors <bors@rust-lang.org> | 2024-03-14 07:41:41 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-03-14 07:41:41 +0000 |
| commit | ee2bd39b68e9bceb44f792aa27dad59d6e4e2c8e (patch) | |
| tree | d1fe8584cabf0be2407df090fadf95da45fdb164 | |
| parent | 24071bdf889d89052efcb3245c6de90a8899526e (diff) | |
| parent | 915bb5b0820f82d20f8c17bc644f1d5ce38e60b5 (diff) | |
| download | rust-ee2bd39b68e9bceb44f792aa27dad59d6e4e2c8e.tar.gz rust-ee2bd39b68e9bceb44f792aa27dad59d6e4e2c8e.zip | |
Auto merge of #3380 - RalfJung:cron, r=RalfJung
make cron job topic names more consistent
| -rw-r--r-- | src/tools/miri/.github/workflows/ci.yml | 2 | ||||
| -rw-r--r-- | src/tools/miri/.github/workflows/sysroots.yml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml index 49ed7ffce22..c70005c2c58 100644 --- a/src/tools/miri/.github/workflows/ci.yml +++ b/src/tools/miri/.github/workflows/ci.yml @@ -165,7 +165,7 @@ jobs: ZULIP_API_TOKEN: ${{ secrets.ZULIP_API_TOKEN }} run: | ~/.local/bin/zulip-send --user $ZULIP_BOT_EMAIL --api-key $ZULIP_API_TOKEN --site https://rust-lang.zulipchat.com \ - --stream miri --subject "Cron Job Failure (miri, $(date -u +%Y-%m))" \ + --stream miri --subject "Miri Build Failure ($(date -u +%Y-%m))" \ --message 'Dear @*T-miri*, It would appear that the [Miri cron job build]('"https://github.com/$GITHUB_REPOSITORY/actions/runs/$GITHUB_RUN_ID"') failed. diff --git a/src/tools/miri/.github/workflows/sysroots.yml b/src/tools/miri/.github/workflows/sysroots.yml index 60d9ef5bb37..456c47f9fb7 100644 --- a/src/tools/miri/.github/workflows/sysroots.yml +++ b/src/tools/miri/.github/workflows/sysroots.yml @@ -51,7 +51,7 @@ jobs: tar xf failures.tar.gz ls failures ~/.local/bin/zulip-send --user $ZULIP_BOT_EMAIL --api-key $ZULIP_API_TOKEN --site https://rust-lang.zulipchat.com \ - --stream miri --subject "Sysroot Build Errors (miri, $(date -u +%Y-%m))" \ + --stream miri --subject "Sysroot Build Errors ($(date -u +%Y-%m))" \ --message 'It would appear that the [Miri sysroots cron job build]('"https://github.com/$GITHUB_REPOSITORY/actions/runs/$GITHUB_RUN_ID"') failed to build these targets: $(ls failures) |