From cc46051e7006f11d04502ce165479d4f6080f117 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Fri, 12 Sep 2025 11:47:28 +0000 Subject: [PATCH] MacOS CI job: do not re-install CMake This causes `brew` to complain about conflicting taps due to pinning that was done (by GitHub) to alleviate a possible build failure by CMake 4.x. See https://github.com/actions/runner-images/issues/12912, and should be fixed (by GitHub) already, but apparently that's not uniformly the case. The rollout of CMake 4.x is also blocked by those issues (cf. https://github.com/actions/runner-images/issues/12934). See https://github.com/diffblue/cbmc/actions/runs/17673397336/job/50229845951?pr=8646 for an example of a failing run on our end. --- .github/workflows/pull-request-checks.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/pull-request-checks.yaml b/.github/workflows/pull-request-checks.yaml index 13919c6e43a..a5ac050e189 100644 --- a/.github/workflows/pull-request-checks.yaml +++ b/.github/workflows/pull-request-checks.yaml @@ -706,7 +706,7 @@ jobs: with: submodules: recursive - name: Fetch dependencies - run: brew install cmake ninja maven flex bison ccache z3 + run: brew install ninja maven flex bison ccache z3 - name: Confirm z3 solver is available and log the version installed run: z3 --version - name: Download cvc5 binary and make sure it can be deployed