Code

Update toolchain to 2024-10-15#3605

Code

Merged

celinval merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom zhassan-aws:nightly-2024-10-15zhassan-aws/kani:nightly-2024-10-15Copy head branch name to clipboardOct 16, 2024

+1-1

Commits

Commits on Oct 15, 2024

• Update toolchain to 2024-10-15

  zhassan-aws

  committed
  516b0a6