CBMC Nightly Failure

[carolynzech]

The CBMC Nightly job is failing: https://github.com/model-checking/kani/actions/runs/14191553578/job/39757217581

The problem appears to be that our job to install dependencies is installing an old version of CMake:

Setting up cmake (3.28.3-1build7) ...

So the job fails later because CMake has removed support for versions below 3.5:

CMake Error at CMakeLists.txt:4 (cmake_minimum_required):
  Compatibility with CMake < 3.5 has been removed from CMake.

I would have thought that this logic:

kani/scripts/setup/ubuntu/install_deps.sh

Lines 26 to 30 in 6b7616c

	# Github promises weekly build image updates, but recommends running
	# `sudo apt-get update` before installing packages in case the `apt`
	# index is stale. This prevents package installation failures.
	# https://docs.github.com/en/actions/using-github-hosted-runners/customizing-github-hosted-runners#installing-software-on-ubuntu-runners
	sudo apt-get --yes update

would ensure that we fetch a more recent version, so I'm not sure how to fix this just yet. Creating this tracking issue in case I don't resolve it before my on-call shift ends.

[tautschnig]

I have fixed this in diffblue/cbmc#8611, which might actually do it our nightlies. Else I suggest we create a CBMC point release, I don't think we need to urgently address this on the Kani side.

[carolynzech]

The job is passing now.