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

Merge pull request #4121 from RalfJung/josh-proxy

Browse source 
bump josh-proxy
This commit is contained in:
Ralf Jung 2025-01-04 11:38:09 +00:00 • committed by GitHub
commit ac429bc590
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -126,7 +126,7 @@ jobs:
with:
fetch-depth: 256 # get a bit more of the history
- name: install josh-proxy
run: RUSTFLAGS="--cap-lints warn" cargo +stable install josh-proxy --git https://github.com/josh-project/josh --tag r23.12.04
run: cargo +stable install josh-proxy --git https://github.com/josh-project/josh --tag r24.10.04
- name: setup bot git name and email
run: |
git config --global user.name 'The Miri Cronjob Bot'

2
src/tools/miri/CONTRIBUTING.md
View file

@ -290,7 +290,7 @@ We use the [`josh` proxy](https://github.com/josh-project/josh) to transmit chan
rustc and Miri repositories. You can install it as follows:
```sh
RUSTFLAGS="--cap-lints=warn" cargo +stable install josh-proxy --git https://github.com/josh-project/josh --tag r23.12.04
cargo +stable install josh-proxy --git https://github.com/josh-project/josh --tag r24.10.04
```
Josh will automatically be started and stopped by `./miri`.