Automatic cargo update to 2026-06-15 - #4608

Automatic cargo update to 2026-06-15#4608

github-actions[bot] wants to merge 1 commit into

mainmodel-checking/kani:mainfrom

cargo-update-2026-06-15model-checking/kani:cargo-update-2026-06-15Copy head branch name to clipboard