Automatic cargo update to 2025-06-02#4121

tautschnig merged 1 commit into

mainmodel-checking/kani:mainfrom

cargo-update-2025-06-02model-checking/kani:cargo-update-2025-06-02Copy head branch name to clipboard