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

github-actions[bot] wants to merge 2 commits into

mainmodel-checking/kani:mainfrom

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