Skip to content

Simplify toolchain construction - #3880

Merged
djc merged 16 commits into
masterfrom
simplify-toolchain-construction
Jun 17, 2024
Merged

Simplify toolchain construction#3880
djc merged 16 commits into
masterfrom
simplify-toolchain-construction

Conversation

@djc

@djcdjc commented Jun 16, 2024

Copy link
Copy Markdown
Contributor

Here's another grab bag of refactoring that tries to improve cohesion in the system, oriented around how Toolchains get created.

@djc
djc requested a review from rami3lJune 16, 2024 16:10
@djc
djcforce-pushed the simplify-toolchain-construction branch 3 times, most recently from 8089215 to 4a60df3CompareJune 16, 2024 19:46
Comment threadsrc/config.rs Outdated
Comment threadsrc/toolchain.rs Outdated
Comment threadsrc/toolchain/names.rs
@rami3lrami3l added this to the 1.28.0 milestone Jun 17, 2024
@djc
djcforce-pushed the simplify-toolchain-construction branch from 4a60df3 to 00ead82CompareJune 17, 2024 07:26
@djc
djc enabled auto-merge June 17, 2024 07:27
@djc
djcforce-pushed the simplify-toolchain-construction branch 2 times, most recently from cde3ceb to f47f675CompareJune 17, 2024 07:59
@djc
djcforce-pushed the simplify-toolchain-construction branch from f47f675 to 5cc4002CompareJune 17, 2024 08:25
@djc
djc added this pull request to the merge queue Jun 17, 2024
Merged via the queue into master with commit 1eb4de7Jun 17, 2024
@djc
djc deleted the simplify-toolchain-construction branch June 17, 2024 08:56
Sign up for freeto 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.

2 participants

@djc@rami3l