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:

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.