diff options
| author | bors <bors@rust-lang.org> | 2024-06-07 19:58:22 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-06-07 19:58:22 +0000 |
| commit | 4c18f2a4c0066ec2de2b48c4451140e6c64c42f1 (patch) | |
| tree | 77949ffbff26618c025532cc4dbf97b4a88decea | |
| parent | 60f7aabd8e8274950aff8dcf93a71cf9becef606 (diff) | |
| parent | dce1bbf31977550ba53528d2d4bc3a21ddd564f8 (diff) | |
| download | rust-4c18f2a4c0066ec2de2b48c4451140e6c64c42f1.tar.gz rust-4c18f2a4c0066ec2de2b48c4451140e6c64c42f1.zip | |
Auto merge of #3654 - Nilstrieb:patch-1, r=RalfJung
Fix stage in contributing 0 errors now because they were moved by 1.
| -rw-r--r-- | src/tools/miri/CONTRIBUTING.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/miri/CONTRIBUTING.md b/src/tools/miri/CONTRIBUTING.md index 4534e54ad5e..9067cbc6032 100644 --- a/src/tools/miri/CONTRIBUTING.md +++ b/src/tools/miri/CONTRIBUTING.md @@ -223,7 +223,7 @@ will eventually sync those changes back into this repository. When working on Miri in the rustc tree, here's how you can run tests: ``` -./x.py test miri --stage 0 +./x.py test miri ``` `--bless` will work, too. @@ -231,7 +231,7 @@ When working on Miri in the rustc tree, here's how you can run tests: You can also directly run Miri on a Rust source file: ``` -./x.py run miri --stage 0 --args src/tools/miri/tests/pass/hello.rs +./x.py run miri --stage 1 --args src/tools/miri/tests/pass/hello.rs ``` ## Advanced topic: Syncing with the rustc repo |