Skip to content

Upgrade Rust toolchain to nightly-2026-07-01 - #4764

Merged
feliperodri merged 3 commits into
model-checking:mainfrom
feliperodri:toolchain-2026-07-01
Aug 27, 2026
Merged

Upgrade Rust toolchain to nightly-2026-07-01#4764
feliperodri merged 3 commits into
model-checking:mainfrom
feliperodri:toolchain-2026-07-01

Pass the interner to EarlyBinder::bind in the Fn-bound spec code

0d6c59c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Auto Label
succeeded Aug 27, 2026 in 6s