Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Rewrite CI documentation #1972

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Conversation

Kobzol
Copy link
Contributor

@Kobzol Kobzol commented May 6, 2024

This PR rewrites the rust-lang/rust CI documentation. It combines resources from the Rust Forge and the older version of the documentation, and it also updates the documentation so that it more closely matches reality, incorporating recent-ish changes, such as:

I'm not sure if it's better to have this documentation in rustc-dev-guide or in the Forge, but I do know that keeping it in both places is just annoying and leads to stale documentation. I think that we should centralize the documentation on a single place and then simply link to it from the Forge/rustc-dev-guide.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant