Automatic toolchain upgrade to nightly-2023-12-21#2962

github-actions[bot] wants to merge 1 commit intomainmodel-checking/kani:mainfrom

toolchain-2023-12-21model-checking/kani:toolchain-2023-12-21Copy head branch name to clipboard