projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 351fe43)
Update CI to macOS 11 (#7104)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 2 Sep 2021 00:42:59 +0000 (17:42 -0700)
committerGitHub <noreply@github.com>
Thu, 2 Sep 2021 00:42:59 +0000 (00:42 +0000)
`macos-latest` is currently using macOS 10.15, so this updates the CI to use `mac-11` (Big Sur).

.github/workflows/ci.yml patch | blob | history

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 103cfc005358449cd4c501c00c5663466a8eab39..1ab8f6fdbb9c7337fd34e4160ca0399e56b5ab75 100644 (file)
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -17,7 +17,7 @@ jobs:
             run_regression_args: --no-check-unsat-cores --no-check-proofs
 
           - name: macos:production
-            os: macos-latest
+            os: macos-11
             config: production --auto-download --all-bindings --editline
             cache-key: production
             python-bindings: true