diff options
| author | Ralf Jung <post@ralfj.de> | 2025-01-04 11:38:09 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-01-04 11:38:09 +0000 |
| commit | ac429bc590536c2b270df041cf9e958759caa4eb (patch) | |
| tree | 0dc8ff3d4609135a30e00dc7f555f2692343395b | |
| parent | 26f09b571bff1df03f95e327360b1eb230fface5 (diff) | |
| parent | 9c3cf727ce78b9a232f642718cafdff2d5984990 (diff) | |
| download | rust-ac429bc590536c2b270df041cf9e958759caa4eb.tar.gz rust-ac429bc590536c2b270df041cf9e958759caa4eb.zip | |
Merge pull request #4121 from RalfJung/josh-proxy
bump josh-proxy
| -rw-r--r-- | src/tools/miri/.github/workflows/ci.yml | 2 | ||||
| -rw-r--r-- | src/tools/miri/CONTRIBUTING.md | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml index 209fd622202..81df0964d59 100644 --- a/src/tools/miri/.github/workflows/ci.yml +++ b/src/tools/miri/.github/workflows/ci.yml @@ -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' diff --git a/src/tools/miri/CONTRIBUTING.md b/src/tools/miri/CONTRIBUTING.md index dd283b7c0a8..5a08ac9af60 100644 --- a/src/tools/miri/CONTRIBUTING.md +++ b/src/tools/miri/CONTRIBUTING.md @@ -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`. |