Skip to content

Update toolchain 2025-11-02 - #541

Merged
fee1-dead merged 3 commits into
mainfrom
update-toolchain-2025-11-02
Mar 3, 2026
Merged

Update toolchain 2025-11-02#541
fee1-dead merged 3 commits into
mainfrom
update-toolchain-2025-11-02

Conversation

@Firestar99

@Firestar99Firestar99 commented Feb 26, 2026

Copy link
Copy Markdown
Member

Requires #543

See #543, these are the additional changes necessary to get to nightly-2025-11-02 and passing. The next step in #542 to nightly-2025-11-13 is looking like another big breakage.

I'm unsure if we want to merge this and use an in-the-middle rustc version. I'd say let's stay at #543nightly-2025-10-24 for now.

@Firestar99
Firestar99force-pushed the update-toolchain-2025-11-02 branch from ec92b7c to c1cd0bcCompareFebruary 26, 2026 13:12
This was referenced Feb 26, 2026
@Firestar99
Firestar99force-pushed the update-toolchain-2025-11-02 branch 2 times, most recently from 45fa815 to 0074f5aCompareFebruary 26, 2026 14:57
@Firestar99
Firestar99 marked this pull request as ready for review February 26, 2026 15:14
@Firestar99
Firestar99 marked this pull request as draft February 26, 2026 16:14
@Firestar99
Firestar99force-pushed the update-toolchain-2025-11-02 branch 2 times, most recently from 0a74002 to 902d444CompareFebruary 26, 2026 16:46
@Firestar99
Firestar99 marked this pull request as ready for review February 26, 2026 20:18
@Firestar99
Firestar99force-pushed the update-toolchain-2025-11-02 branch from 902d444 to 05a7b6aCompareMarch 2, 2026 07:32
@Firestar99
Firestar99 changed the base branch from main to update-toolchain-2025-10-24March 2, 2026 09:48

@LegNeatoLegNeato left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Mechanical, thanks!

Base automatically changed from update-toolchain-2025-10-24 to mainMarch 3, 2026 00:08
@fee1-dead
fee1-deadforce-pushed the update-toolchain-2025-11-02 branch from 05a7b6a to 735c718CompareMarch 3, 2026 22:55
@fee1-dead
fee1-dead added this pull request to the merge queueMar 3, 2026
Merged via the queue into main with commit d01051dMar 3, 2026
13 checks passed
@fee1-dead
fee1-dead deleted the update-toolchain-2025-11-02 branch March 3, 2026 23:45
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.

4 participants

@Firestar99@LegNeato@fee1-dead@dvdplm