Code

Automatic cargo update to 2024-12-09#34

Code

Open

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

+75-88

Commits

Commits on Dec 9, 2024

• Upgrade cargo dependencies to 2024-12-09

  

  carolynzech

  authored and

  github-actions[bot]

  committed
  c19851b

  Copy full SHA for c19851b