Automatic toolchain upgrade to nightly-2025-01-12#3831

Merged

tautschnig merged 1 commit intomainfrom

toolchain-2025-01-12

Jan 15, 2025

Commits on Jan 14, 2025

Upgrade Rust toolchain to nightly-2025-01-12

tautschnig
authored and
github-actions[bot]
committed