diff options
| author | bors <bors@rust-lang.org> | 2024-03-04 16:08:52 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-03-04 16:08:52 +0000 |
| commit | 4fdb2152d96178753dea175b1735a541bbf013a7 (patch) | |
| tree | b50c275147652830be8863b3ff98e065643d5b3c | |
| parent | 5b05be17cd4696d9ad20090846546023035f1d0c (diff) | |
| parent | a477cf45ffafaee7d9523eb49a43b8c9b61c0ff4 (diff) | |
| download | rust-4fdb2152d96178753dea175b1735a541bbf013a7.tar.gz rust-4fdb2152d96178753dea175b1735a541bbf013a7.zip | |
Auto merge of #3356 - RalfJung:typo, r=RalfJung
Conjob → Cronjob Same as https://github.com/rust-lang/miri-test-libstd/pull/44
| -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 0954c57a1db..49ed7ffce22 100644 --- a/src/tools/miri/.github/workflows/ci.yml +++ b/src/tools/miri/.github/workflows/ci.yml @@ -187,7 +187,7 @@ jobs: run: RUSTFLAGS="--cap-lints warn" cargo +stable install josh-proxy --git https://github.com/josh-project/josh --tag r22.12.06 - name: setup bot git name and email run: | - git config --global user.name 'The Miri Conjob Bot' + git config --global user.name 'The Miri Cronjob Bot' git config --global user.email 'miri@cron.bot' - name: get changes from rustc run: ./miri rustc-pull |