Code

Automatic cargo update to 2024-10-14#20

Code

Open

github-actions[bot] wants to merge 1 commit intomaincarolynzech/kani:mainfrom cargo-update-2024-10-14carolynzech/kani:cargo-update-2024-10-14Copy head branch name to clipboard

+22-25

Commits

Commits on Oct 14, 2024

• Upgrade cargo dependencies to 2024-10-14

  

  carolynzech

  authored and

  github-actions[bot]

  committed
  a9bb333

  Copy full SHA for a9bb333