Skip to content

Upgrade Rust toolchain to nightly-2026-04-01 - #4734

Open
feliperodri wants to merge 3 commits into
model-checking:mainfrom
feliperodri:upgrade-toolchain-2026-04-01
Open

Upgrade Rust toolchain to nightly-2026-04-01#4734
feliperodri wants to merge 3 commits into
model-checking:mainfrom
feliperodri:upgrade-toolchain-2026-04-01

Address review: restore misplaced docs and update the intrinsics table

0ff0954
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Auto Label
succeeded Aug 13, 2026 in 8s