Automatic cargo update to 2026-09-07 - #4783

Automatic cargo update to 2026-09-07#4783

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

mainmodel-checking/kani:mainfrom

cargo-update-2026-09-07model-checking/kani:cargo-update-2026-09-07Copy head branch name to clipboard