mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Auto merge of #3654 - Nilstrieb:patch-1, r=RalfJung

Browse Source 
Fix stage in contributing

0 errors now because they were moved by 1.
This commit is contained in:
bors 2024-06-07 19:58:22 +00:00
commit 4c18f2a4c0
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/tools/miri/CONTRIBUTING.md
View File

@ -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