user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Auto merge of #3356 - RalfJung:typo, r=RalfJung

Browse source 
Conjob → Cronjob

Same as https://github.com/rust-lang/miri-test-libstd/pull/44
This commit is contained in:
bors 2024-03-04 16:08:52 +00:00
commit 4fdb2152d9
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tools/miri/.github/workflows/ci.yml vendored
View file

@ -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