Code

Automatic cargo update to 2024-12-30#38

Code

Open

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

+86-152

Commits

Commits on Dec 30, 2024

• Upgrade cargo dependencies to 2024-12-30

  

  carolynzech

  authored and

  github-actions[bot]

  committed
  1f2330c

  Copy full SHA for 1f2330c