Fix macOS CI: trust diffblue/cbmc tap for Homebrew 6.0+ - #4785

Fix macOS CI: trust diffblue/cbmc tap for Homebrew 6.0+#4785

feliperodri merged 1 commit into

model-checking:mainmodel-checking/kani:mainfrom

Tianshu-Huang:fix-homebrew-trustTianshu-Huang/kani:fix-homebrew-trustCopy head branch name to clipboard