Skip to content

Conversation

@tshepang
Copy link
Member

Subtree update of rustc-dev-guide to rust-lang/rustc-dev-guide@02ba22e.

Created using https://github.com/rust-lang/josh-sync.

r? @ghost

aDotInTheVoid and others added 30 commits November 5, 2025 18:11
>  We continuously rebuild the latest versions for all crates so they can benefit from new features in rustdoc. 

-- https://docs.rs/releases/queue
sembr some rustdoc files and improve them a bit
This fixes some code block tags that aren't using the correct language
for rust.
This was incorrectly interpreting the value as an HTML tag. This wraps
it in an code span to avoid that.
…loadllvm

the download-ci-llvm experiment turned out to be too unreliable
This updates the rust-version file to 8401398.
Pull recent changes from https://github.com/rust-lang/rust via Josh.

Upstream ref: 8401398
Filtered ref: 52a911b7100ca6a6ed84159c51ce514a98ae9cf5
Upstream diff: rust-lang/rust@c5dabe8...8401398

This merge was created using https://github.com/rust-lang/josh-sync.
sembr getting-started.md and improve it a bit
The hackiness of this tool is getting more and more embarassing
@rustbot
Copy link
Collaborator

rustbot commented Nov 10, 2025

The rustc-dev-guide subtree was changed. If this PR only touches the dev guide consider submitting a PR directly to rust-lang/rustc-dev-guide otherwise thank you for updating the dev guide with your changes.

cc @BoxyUwU, @jieyouxu, @Kobzol, @tshepang

@rustbot rustbot added A-rustc-dev-guide Area: rustc-dev-guide S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Nov 10, 2025
@tshepang
Copy link
Member Author

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented Nov 10, 2025

📌 Commit dbd05d3 has been approved by tshepang

It is now in the queue for this repository.

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Nov 10, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-rustc-dev-guide Area: rustc-dev-guide S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants