projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
f87f038
)
Fix GitHub Actions macOS build (#6331)
author
Andres Noetzli
<andres.noetzli@gmail.com>
Mon, 12 Apr 2021 17:15:16 +0000
(10:15 -0700)
committer
GitHub
<noreply@github.com>
Mon, 12 Apr 2021 17:15:16 +0000
(12:15 -0500)
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
patch
|
blob
|
history
diff --git
a/.github/workflows/ci.yml
b/.github/workflows/ci.yml
index 8925b06d9caae7773563fa853700f6fa93aa406b..6d22f9f1166614c27411a1ba6bb8d22a3cb1a7de 100644
(file)
--- 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 \