Automatic toolchain upgrade to nightly-2025-10-13#4411

Merged

tautschnig merged 1 commit intomainfrom

toolchain-2025-10-13

Oct 14, 2025

Commits on Oct 13, 2025

Upgrade Rust toolchain to nightly-2025-10-13

tautschnig
authored and
github-actions[bot]
committed