user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Remove --stage entirely from contributing

Browse source
This commit is contained in:
Nilstrieb 2024-06-07 21:50:59 +02:00 • committed by GitHub
parent 27d9a46221
commit dce1bbf319
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
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 1
./x.py test miri
```
`--bless` will work, too.