From 3112a70ba35b7fc43d8d3b271d10b674529b258b Mon Sep 17 00:00:00 2001 From: Tianshu Huang Date: Mon, 7 Sep 2026 22:12:41 -0700 Subject: [PATCH] Fix macOS CI: trust diffblue/cbmc tap for Homebrew 6.0+ --- scripts/setup/macos/install_cbmc.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/scripts/setup/macos/install_cbmc.sh b/scripts/setup/macos/install_cbmc.sh index 6cd65dac1ac9..2f07a4102d7c 100755 --- a/scripts/setup/macos/install_cbmc.sh +++ b/scripts/setup/macos/install_cbmc.sh @@ -14,5 +14,7 @@ fi # Install CBMC for macOS from CBMC tap # https://github.com/diffblue/cbmc/blob/develop/doc/ADR/homebrew_tap.md +# Homebrew 6.0+ requires explicit trust for third-party taps +brew trust diffblue/cbmc 2>/dev/null || true brew tap diffblue/cbmc brew install --overwrite diffblue/cbmc/cbmc@${CBMC_VERSION}