diff options
| author | Ralf Jung <post@ralfj.de> | 2024-03-14 07:53:11 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-03-14 07:53:11 +0100 |
| commit | 915bb5b0820f82d20f8c17bc644f1d5ce38e60b5 (patch) | |
| tree | 84fee40c5840273f76cd57e8bcbcc9b8a8352f21 | |
| parent | 34d6f07646e28977a2b7fb5c90202b6973c4441e (diff) | |
| download | rust-915bb5b0820f82d20f8c17bc644f1d5ce38e60b5.tar.gz rust-915bb5b0820f82d20f8c17bc644f1d5ce38e60b5.zip | |
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) |