]> git.lizzy.rs Git - rust.git/commit
Auto merge of #882 - RalfJung:miri-rustc, r=RalfJung
authorbors <bors@rust-lang.org>
Sun, 4 Aug 2019 08:26:51 +0000 (08:26 +0000)
committerbors <bors@rust-lang.org>
Sun, 4 Aug 2019 08:26:51 +0000 (08:26 +0000)
commit843691d6122e49dc7bd17a45d74a1d8a2fbb815b
tree2d4492d63890ab8fe790f65c7a717c4ec443663b
parentd9d6df93a98f6545b2757a802e440eb043f23945
parent162c0ffb1fc6547557f94fa0c9b316e4a785bd8a
Auto merge of #882 - RalfJung:miri-rustc, r=RalfJung

install xargo from git temporarily

This is so that once https://github.com/japaric/xargo/pull/246 landed, we can see if that helps with https://github.com/rust-lang/rust/pull/63162.