Skip to content

Conversation

@scottgerring
Copy link
Member

@scottgerring scottgerring commented Jul 28, 2025

This bumps the toolchain to nightly 2025-07-25, and prepares for release.

The only impacting change in rustc is rust-lang/rust#143038, which sees all_traits renamed to all_traits_including_private for clarity, but preserving the same behaviour.

@scottgerring scottgerring merged commit 12ac17a into main Jul 28, 2025
2 checks passed
@scottgerring scottgerring deleted the chore/chore-0.1.3 branch July 28, 2025 06:28
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.

2 participants