diff options
| author | bors <bors@rust-lang.org> | 2022-08-20 13:30:34 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-08-20 13:30:34 +0000 |
| commit | ab88e64b152d3704c35db96dbbc6efaaed67773f (patch) | |
| tree | 08ab8f377882f24b127369deedbebc7a5e87c3bc /tests/mir-opt/lower_array_len.array_bound.NormalizeArrayLen.diff | |
| parent | 1a03e30b7995982943035fd74e80f6000d0f0ab3 (diff) | |
| parent | 0c3ad68a5a973642c6789a5c57d10e84fdb66520 (diff) | |
| download | rust-ab88e64b152d3704c35db96dbbc6efaaed67773f.tar.gz rust-ab88e64b152d3704c35db96dbbc6efaaed67773f.zip | |
Auto merge of #2495 - RalfJung:ra, r=RalfJung
add ./miri cargo for RA to invoke RA expects a check command to check *individual workspaces*, whereas `./miri` is designed to check/build/test all parts of Miri. So add a new `./miri cargo` that performs just a single cargo invocation, but with the right env vars so that the build cache can be shared with `./miri check`.
Diffstat (limited to 'tests/mir-opt/lower_array_len.array_bound.NormalizeArrayLen.diff')
0 files changed, 0 insertions, 0 deletions