Automatic cargo update to 2023-12-18#2951

tautschnig merged 1 commit intomainmodel-checking/kani:mainfrom

cargo-update-2023-12-18model-checking/kani:cargo-update-2023-12-18Copy head branch name to clipboard