diff options
| author | Nilstrieb <48135649+Nilstrieb@users.noreply.github.com> | 2024-06-07 21:50:59 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-06-07 21:50:59 +0200 |
| commit | dce1bbf31977550ba53528d2d4bc3a21ddd564f8 (patch) | |
| tree | 77949ffbff26618c025532cc4dbf97b4a88decea | |
| parent | 27d9a46221cb39b5ab491623c78b114e04235518 (diff) | |
| download | rust-dce1bbf31977550ba53528d2d4bc3a21ddd564f8.tar.gz rust-dce1bbf31977550ba53528d2d4bc3a21ddd564f8.zip | |
Remove --stage entirely from contributing
| -rw-r--r-- | src/tools/miri/CONTRIBUTING.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/CONTRIBUTING.md b/src/tools/miri/CONTRIBUTING.md index edb551c15ea..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 1 +./x.py test miri ``` `--bless` will work, too. |