Upgrade Rust toolchain to 2025-07-21#4241

Merged

tautschnig merged 5 commits intomodel-checking:mainfrom

tautschnig:toolchain-2025-07-15-manual

Jul 29, 2025

Commits on Jul 28, 2025

Upgrade Rust toolchain to 2025-07-15
tautschnig
committed
Toolchain 2025-07-21
tautschnig
committed
Clippy
tautschnig
committed
fmt
Carolyn Zech
committed

Commits on Jul 29, 2025

Adjust use of StableMIR in docs/comments
tautschnig
committed