From a477cf45ffafaee7d9523eb49a43b8c9b61c0ff4 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Mon, 4 Mar 2024 16:22:30 +0100 Subject: [PATCH] =?UTF-8?q?Conjob=20=E2=86=92=20Cronjob?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/tools/miri/.github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml index 0954c57a1db1..49ed7ffce22f 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