MacOS CI job: do not re-install CMake#8711

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:no-install-cmaketautschnig/cbmc:no-install-cmakeCopy head branch name to clipboard