Code

Use stable version to install Kani#52

Code

Closed

zhassan-aws wants to merge 1 commit intomodel-checking:mainmodel-checking/kani-github-action:mainfrom zhassan-aws:use-stablezhassan-aws/kani-github-action:use-stableCopy head branch name to clipboard

+1-1

Commits

Commits on Jan 10, 2024

• Use stable version to install Kani

  zhassan-aws

  committed
  5657956

  Copy full SHA for 5657956