Skip to content

Merge subtree update for toolchain nightly-2026-10-12 - #732

Merged
feliperodri merged 10000 commits into
mainfrom
sync-2026-10-12
Oct 22, 2026
Merged

feliperodri merged 10000 commits into
mainfrom
sync-2026-10-12

Update Kani version to 9461e07af7ec929f050aa4192f29363c9be07779

668748d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
Analyze (rust)
succeeded Oct 21, 2026 in 29m 41s