About the tools and infrastructure category

nikomatsakis · May 14, 2015, 2:22pm

Discussion about all “official” (rust-lang managed) non-rustc tools, and community infrastructure:

Home to the tools and infrastructure team.

nikomatsakis · March 25, 2019, 8:10am

This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.

Topic		Replies	Views
Announcing the Infrastructure, Cargo, and Dev Tools teams; disbanding the Tools team announcements	12	8304	March 25, 2019
Announcing the unofficial Rust infrastructure team announcements	2	5153	March 25, 2019
Rustdoc: Ideas tools and infrastructure	8	2335	March 25, 2019
Discussion forum for dev-tools/rust-analyzer? tools and infrastructure	7	1546	August 25, 2020
Tools Team: tell us your sorrows tools and infrastructure	60	8266	August 10, 2019