Code

Kani Workflow Updates#214

Code

Merged

zhassan-aws merged 4 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

carolynzech:markdown-listcarolynzech/verify-rust-std:markdown-listCopy head branch name to clipboard

Dec 10, 2024

Commits

Commits on Dec 6, 2024

• use markdown format; move to separate job

  carolynzech

  committed
  ab79005

  Copy full SHA for ab79005

• delete test kani job

  carolynzech

  committed
  5f06c09

  Copy full SHA for 5f06c09

Commits on Dec 7, 2024

• Merge branch 'main' into markdown-list

  carolynzech

  authored
  dcc7446

  Copy full SHA for dcc7446

Commits on Dec 10, 2024

• Merge branch 'main' into markdown-list

  carolynzech

  authored
  67ebaa6

  Copy full SHA for 67ebaa6