projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f87f038) | patch
Fix GitHub Actions macOS build (#6331)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 12 Apr 2021 17:15:16 +0000 (10:15 -0700)
committerGitHub <noreply@github.com>
Mon, 12 Apr 2021 17:15:16 +0000 (12:15 -0500)
commiteead4c73cf785250f45585c2ee786c273df59542
tree1106ae33875acca251c0c7fda25f50e334612365tree
parentf87f038c5f0821d0fefb01cea00bfdec6004da91commit | diff
Fix GitHub Actions macOS build (#6331)

The build is currently failing because it tries to download an older
version of the ccache package. This commit makes sure that Homebrew is
up-to-date before trying to install packages.
.github/workflows/ci.yml diff | blob | history