diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-04-12 09:47:02 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2021-04-12 09:47:02 -0700 |
| commit | f3b9fc70e2b10102580b04ac7add7fc310900848 (patch) | |
| tree | 1106ae33875acca251c0c7fda25f50e334612365 /src/theory/quantifiers/sygus/transition_inference.h | |
| parent | f87f038c5f0821d0fefb01cea00bfdec6004da91 (diff) | |
Fix GitHub Actions macOS buildfixMacOsAction
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.
Diffstat (limited to 'src/theory/quantifiers/sygus/transition_inference.h')
0 files changed, 0 insertions, 0 deletions