Repository navigation

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

Upgrade the Rust toolchain to nightly-2026-10-11#4987
feliperodri merged 7 commits into
model-checking:mainfrom
feliperodri:toolchain-2026-10-06

Commits on Oct 7, 2026
Commits on Oct 11, 2026
- Merge remote-tracking branch 'upstream/main' into toolchain-2026-10-06
  feliperodri
  committed
  1e51ede
- Upgrade the Rust toolchain to nightly-2026-10-11
  feliperodri
  committed
  773a30f
Commits on Oct 13, 2026
- Merge branch 'main' into toolchain-2026-10-06
  feliperodri
  authored
  bd164ec
- cargo deny: ignore the unsafe-libyaml unmaintained advisory
  feliperodri
  committed
  3815bcf