rustc-dev-guide subtree update - #144803

Merged

bors merged 16 commits into

rust-lang:masterfrom

tshepang:rdg-sync

Aug 3, 2025

Commits on Jul 29, 2025

Commits on Jul 30, 2025

Remove outdated ci.py reference
Kobzol
committed
951a6f7
Merge pull request #2525 from Kobzol/remove-ci-py
Kobzol
authored
bfdef36

Commits on Jul 31, 2025

Prepare for merging from rust-lang/rust
The rustc-josh-sync Cronjob Bot
committed
7d37819
Merge ref '32e7a4b92b10' from rust-lang/rust
The rustc-josh-sync Cronjob Bot
committed
7cab27d
improve linking in the "Auxilirary builds" section of directive index
lolbinarycat
authored
cab1643

Commits on Aug 1, 2025

Merge pull request #2527 from lolbinarycat/patch-5
jieyouxu
authored
f7267cc
rarw
lcnr
committed
4f60c90
Merge pull request #2529 from lcnr/type-system-invariants
lcnr
authored
c277f4e
rarw
lcnr
committed
ba57bba
Merge pull request #2530 from lcnr/type-system-invariants
lcnr
authored
219e4c1
Merge pull request #2526 from rust-lang/rustc-pull
tshepang
authored
171c247