Upgrade toolchain to 2024-12-09#3768

carolynzech merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

carolynzech:2024-12-09-toolchaincarolynzech/kani:2024-12-09-toolchainCopy head branch name to clipboard