Code

Upgrade the toolchain to 2025-02-21#3899

Code

Merged

carolynzech merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom zhassan-aws:nightly-2025-02-21zhassan-aws/kani:nightly-2025-02-21Copy head branch name to clipboardFeb 22, 2025

Commits

Commits on Feb 21, 2025

• Upgrade the toolchain to 2025-02-21

  zhassan-aws

  committed
  91ad0ff

  Copy full SHA for 91ad0ff