diff options
| author | bors <bors@rust-lang.org> | 2022-10-31 23:03:39 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-10-31 23:03:39 +0000 |
| commit | 024207ab43aceb49f2ca957509c503ccf12089d7 (patch) | |
| tree | 484845063afb30c6f8270c800724f89e091125b8 /Cargo.toml | |
| parent | 95a3a7277b44bbd2dd3485703d9a05f64652b60e (diff) | |
| parent | b35e2bf9470c0a6f474e47a431d539ce7ca8ead9 (diff) | |
| download | rust-024207ab43aceb49f2ca957509c503ccf12089d7.tar.gz | |
Auto merge of #102950 - oli-obk:check_miri, r=RalfJung
Enable `x.py check` for miri
Now that the miri subtree is working properly, let's add it to x.py check.
cc `@rust-lang/miri`
Diffstat (limited to 'Cargo.toml')
0 files changed, 0 insertions, 0 deletions