Skip to content

Start simplification of toolchain names module#4930

Merged
djc merged 6 commits into
mainfrom
simplify-names
Jun 30, 2026
Merged

Start simplification of toolchain names module#4930
djc merged 6 commits into
mainfrom
simplify-names

Conversation

@djc

@djc djc commented Jun 30, 2026

Copy link
Copy Markdown
Contributor

IMO this module is pretty hard to navigate. Start to clean it up a little.

@rustbot

This comment has been minimized.

@djc djc force-pushed the simplify-names branch from e4e8d73 to deafa45 Compare June 30, 2026 20:27
@rustbot

rustbot commented Jun 30, 2026

Copy link
Copy Markdown
Collaborator

This PR was rebased onto a different main commit. Here's a range-diff highlighting what actually changed.

Rebasing is a normal part of keeping PRs up to date, so no action is needed—this note is just to help reviewers.

@djc djc enabled auto-merge June 30, 2026 20:37
@djc djc added this pull request to the merge queue Jun 30, 2026
Merged via the queue into main with commit 4b1423b Jun 30, 2026
31 checks passed
@djc djc deleted the simplify-names branch June 30, 2026 21:23
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.

3 participants