Code

Automatic cargo update to 2024-11-04#74

Code

Open

github-actions[bot] wants to merge 1 commit intomaincelinval/kani-dev:mainfrom cargo-update-2024-11-04celinval/kani-dev:cargo-update-2024-11-04Copy head branch name to clipboard

+77-71

Commits

Commits on Nov 4, 2024

• Upgrade cargo dependencies to 2024-11-04

  

  celinval

  authored and

  github-actions[bot]

  committed
  c72361b

  Copy full SHA for c72361b