Upgrade toolchain to 2024-12-19#3810

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

zhassan-aws:toolchain-2024-12-19zhassan-aws/kani:toolchain-2024-12-19Copy head branch name to clipboard