diff options
| author | bors <bors@rust-lang.org> | 2022-10-08 08:53:29 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-10-08 08:53:29 +0000 |
| commit | f0e40831df6ca2fd4d8fcde112dce6bf701bf50c (patch) | |
| tree | ea2693e79717dab597d541c06602f78333071a98 /tests/mir-opt/lower_array_len.array_len.NormalizeArrayLen.panic-unwind.diff | |
| parent | c3dce60ac783b997b7527c324b9c9ee30a6ccfd7 (diff) | |
| parent | 413edf67713195ebbf57ba50aac84e9387559bbe (diff) | |
| download | rust-f0e40831df6ca2fd4d8fcde112dce6bf701bf50c.tar.gz rust-f0e40831df6ca2fd4d8fcde112dce6bf701bf50c.zip | |
Auto merge of #2583 - RalfJung:rustup, r=oli-obk
initial josh subtree sync This demonstrates what a josh-based rustup would look like with my patched josh. To create it I did ``` git fetch http://localhost:8000/rust-lang/rust.git:start=75dd959a3a40eb5b4574f8d2e23aa6efbeb33573[:prefix=src/tools/miri]:/src/tools/miri.git master git merge FETCH_HEAD ./rustup-toolchain HEAD && ./miri fmt git commit -am rustup ``` Unlike the [previous attempt](https://github.com/rust-lang/miri/pull/2554), this does not add a new root commit to the repo. Once we merge this, we committed to using josh for subtree syncing, and in particular a version of josh that includes https://github.com/josh-project/josh/pull/961 (or something compatible).
Diffstat (limited to 'tests/mir-opt/lower_array_len.array_len.NormalizeArrayLen.panic-unwind.diff')
0 files changed, 0 insertions, 0 deletions