]> git.lizzy.rs Git - rust.git/commit
Auto merge of #1827 - l4l:patch-1, r=RalfJung
authorbors <bors@rust-lang.org>
Wed, 9 Jun 2021 08:00:57 +0000 (08:00 +0000)
committerbors <bors@rust-lang.org>
Wed, 9 Jun 2021 08:00:57 +0000 (08:00 +0000)
commitf73db5ce6b4666a1663fe674d20ed541ce860b0e
tree25ff7eb8e7b8c98bea2c1c6879983b50940a24cc
parentc8713c2f9fc1e28c90876b9ec9557d8c5729757b
parentc6bcb4d3c02c3dd6d0f9570d60ca67b8d1fc12f5
Auto merge of #1827 - l4l:patch-1, r=RalfJung

Specify miri toolchain for CI example

In particular current example doesn't work if you have a rust-toolchain file in the project.