Code

Automatic cargo update to 2025-01-13#43

Code

Open

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

+52-51

Commits

Commits on Jan 13, 2025

• Upgrade cargo dependencies to 2025-01-13

  

  carolynzech

  authored and

  github-actions[bot]

  committed
  14aa6c9

  Copy full SHA for 14aa6c9