Code

Automatic cargo update to 2025-01-06#85

Code

Open

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

+145-132

Commits

Commits on Jan 6, 2025

• Upgrade cargo dependencies to 2025-01-06

  

  celinval

  authored and

  github-actions[bot]

  committed
  1d86962

  Copy full SHA for 1d86962