Upgrade CI MacOS version to macos-latest. (cvc5#9869)

ajreynol · Jul 6, 2023 · c700ba3 · c700ba3
1 parent 8e3dead
commit c700ba3
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 3 deletions.
diff --git a/.github/actions/install-dependencies/action.yml b/.github/actions/install-dependencies/action.yml
@@ -65,7 +65,9 @@ runs:
       shell: bash
       run: |
         echo "::group::Install macOS software"
-        brew update --quiet
+        brew config
+        brew untap homebrew/core homebrew/cask
+        brew config
 
         brew install \
           ccache \

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,6 +1,11 @@
 on: [push, pull_request]
 name: CI
 
+# Prevents github from relying on clones of homebrew-core or homebrew-cask.
+# https://github.com/orgs/Homebrew/discussions/4612
+env:
+    HOMEBREW_NO_INSTALL_FROM_API: ""
+
 jobs:
   build:
     strategy:
@@ -19,7 +24,7 @@ jobs:
             run_regression_args: --tester base --tester model --tester synth --tester abduct --tester dump
 
           - name: macos:production
-            os: macos-11
+            os: macos-latest
             config: production --auto-download --editline
             # config: production --auto-download --python-bindings --editline
             cache-key: production
@@ -31,7 +36,7 @@ jobs:
             run_regression_args: --tester base --tester model --tester synth --tester abduct --tester dump
 
           - name: macos:production-arm64
-            os: macos-12
+            os: macos-latest
             config: production --auto-download --editline --arm64
             # config: production --auto-download --python-bindings --editline --arm64
             cache-key: production-arm64