Code

Automatic cargo update to 2024-11-18#77

Code

Open

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

+97-85

Commits

Commits on Nov 18, 2024

• Upgrade cargo dependencies to 2024-11-18

  

  celinval

  authored and

  github-actions[bot]

  committed
  f52fcc9

  Copy full SHA for f52fcc9