diff options
| author | bors <bors@rust-lang.org> | 2024-03-17 09:58:04 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-03-17 09:58:04 +0000 |
| commit | dd5b4f5fc0a81b99bc32dce6590ac2b542fbc006 (patch) | |
| tree | 6e5bb4ff581efd10b3fb7fcfe864fd8ce65791cd /src | |
| parent | caa57dd51894415c9f680b408fc54963ca88a7f4 (diff) | |
| parent | b4cb2ee55f7b5bfd60d2d1061f273bb7668860bf (diff) | |
| download | rust-dd5b4f5fc0a81b99bc32dce6590ac2b542fbc006.tar.gz rust-dd5b4f5fc0a81b99bc32dce6590ac2b542fbc006.zip | |
Auto merge of #3386 - RalfJung:ci, r=RalfJung
fix Zulip topic for PR-creation message
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/.github/workflows/ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml index c70005c2c58..1097fc6db72 100644 --- a/src/tools/miri/.github/workflows/ci.yml +++ b/src/tools/miri/.github/workflows/ci.yml @@ -206,7 +206,7 @@ jobs: run: | PR=$(gh pr create -B master --title 'Automatic Rustup' --body '') ~/.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 "A PR doing a rustc-pull [has been automatically created]($PR) for your convenience." env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} |