diff options
| author | bors <bors@rust-lang.org> | 2023-03-22 16:18:58 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-03-22 16:18:58 +0000 |
| commit | 3c2adebf90c6eaf491b2c7ee9213e597381072b7 (patch) | |
| tree | 20dd01b6d67c47e9a3bf64d4098a536ac7ff4cea | |
| parent | ce4b11824765309b1288e4600144cd76562ab6f7 (diff) | |
| parent | cd4a36ec470205f2a48838453cb07c94ec787589 (diff) | |
| download | rust-3c2adebf90c6eaf491b2c7ee9213e597381072b7.tar.gz rust-3c2adebf90c6eaf491b2c7ee9213e597381072b7.zip | |
Auto merge of #2822 - oli-obk:rustup, r=oli-obk
Correctly quote env vars in single quoted string in bash single quotes don't allow env vars. So we unquote the single quote, start a double quote for where we use env vars and then unquote the double quote and continue with the single quote.
| -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 2d487cb8f09..da1c2f770ac 100644 --- a/src/tools/miri/.github/workflows/ci.yml +++ b/src/tools/miri/.github/workflows/ci.yml @@ -174,7 +174,7 @@ jobs: ~/.local/bin/zulip-send --stream miri --subject "Cron Job Failure (miri, $(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. + It would appear that the [Miri cron job build]('"https://github.com/$GITHUB_REPOSITORY/actions/runs/$GITHUB_RUN_ID"') failed. This likely means that rustc changed the miri directory and we now need to do a [`./miri rustc-pull`](https://github.com/rust-lang/miri/blob/master/CONTRIBUTING.md#importing-changes-from-the-rustc-repo). |