Automatic toolchain upgrade to nightly-2024-01-18#2988

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

toolchain-2024-01-18model-checking/kani:toolchain-2024-01-18Copy head branch name to clipboard