Code

Automatic cargo update to 2025-01-27#88

Code

Open

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

+156-142

Commits

Commits on Jan 27, 2025

• Upgrade cargo dependencies to 2025-01-27

  

  celinval

  authored and

  github-actions[bot]

  committed
  5f62b3c

  Copy full SHA for 5f62b3c