diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-04-12 10:15:16 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-12 12:15:16 -0500 |
| commit | eead4c73cf785250f45585c2ee786c273df59542 (patch) | |
| tree | 1106ae33875acca251c0c7fda25f50e334612365 /src/proof/dot/dot_printer.cpp | |
| parent | f87f038c5f0821d0fefb01cea00bfdec6004da91 (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.
Diffstat (limited to 'src/proof/dot/dot_printer.cpp')
0 files changed, 0 insertions, 0 deletions