Code

Update Rust toolchain to 2023-09-23#2806

Code

Merged

tautschnig merged 2 commits intomodel-checking:mainmodel-checking/kani:mainfrom tautschnig:update-toolchain-2023-09-23tautschnig/kani:update-toolchain-2023-09-23Copy head branch name to clipboardOct 5, 2023

+30-37

Commits

Commits on Oct 4, 2023

• Update Rust toolchain to 2023-09-23

  Show description for 27cb922
  tautschnig

  committed
  27cb922

• Merge branch 'main' into update-toolchain-2023-09-23

  tautschnig

  authored
  c10f557