Code

Automatic cargo update to 2024-09-30#16

Code

Open

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

+36-27

Commits

Commits on Sep 30, 2024

• Upgrade cargo dependencies to 2024-09-30

  

  carolynzech

  authored and

  github-actions[bot]

  committed
  a416a70

  Copy full SHA for a416a70