Upgrade Rust toolchain to nightly-2024-03-29 - #3116

Upgrade Rust toolchain to nightly-2024-03-29#3116

tautschnig merged 21 commits into

model-checking:mainmodel-checking/kani:mainfrom

feliperodri:toolchain-upgrade-2024-03-29feliperodri/kani:toolchain-upgrade-2024-03-29Copy head branch name to clipboard