Code

Upgrade tooclhain to 2024-02-17#3032

Code

Closed

zhassan-aws wants to merge 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom zhassan-aws:toolchain-2024-02-15zhassan-aws/kani:toolchain-2024-02-15Copy head branch name to clipboard

+3-7

Commits

Commits on Feb 20, 2024

• Upgrade toolchain to 2024-02-17

  zhassan-aws

  committed
  70e6165