Put "getting started" in the part of the wiki that's for developers #2713
Comments
|
Done. The page is now https://github.com/mozilla/rust/wiki/Note-getting-started-developing-Rust. |
RalfJung
pushed a commit
to RalfJung/rust
that referenced
this issue
Dec 5, 2022
for now, do not do fake reads on non-Unpin mutable references Work-around for rust-lang/unsafe-code-guidelines#381, needed to make the new test pass. Undoes parts of rust-lang/miri#2694.
Aaron1011
pushed a commit
to Aaron1011/rust
that referenced
this issue
Jan 6, 2023
for now, do not do fake reads on non-Unpin mutable references Work-around for rust-lang/unsafe-code-guidelines#381, needed to make the new test pass. Undoes parts of rust-lang/miri#2694.
celinval
pushed a commit
to celinval/rust-dev
that referenced
this issue
Jun 4, 2024
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The https://github.com/mozilla/rust/wiki/Doc-getting-started page dates back to before we had releases, so the directions given there are how to build from git, not how to install a release. Now that we have releases, I think it makes sense to distinguish between installation instructions for developers and installation instructions for users. So that page should probably be in the "Notes" section of the wiki (for developers), and it probably needs a name like "getting started developing Rust".
The text was updated successfully, but these errors were encountered: