Skip to content

Upgrade the Rust toolchain to nightly-2026-10-11 - #4987

Merged
feliperodri merged 7 commits into
model-checking:mainfrom
feliperodri:toolchain-2026-10-06
Oct 13, 2026
Merged

feliperodri merged 7 commits into
model-checking:mainfrom
feliperodri:toolchain-2026-10-06

cargo deny: ignore the unsafe-libyaml unmaintained advisory

3815bcf
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Auto Label
succeeded Oct 13, 2026 in 7s