From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Mon, 12 Apr 2021 17:15:16 +0000 (-0700)
Subject: Fix GitHub Actions macOS build (#6331)
X-Git-Tag: cvc5-1.0.0~1927
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=eead4c73cf785250f45585c2ee786c273df59542;p=cvc5.git

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.
---

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 8925b06d9..6d22f9f11 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -88,6 +88,7 @@ jobs:
     - name: Install Packages (macOS)
       if: runner.os == 'macOS'
       run: |
+        brew update
         brew install \
           ccache \
           cln \