From d2b196b04078464ca843112baeeda5a81fe935a0 Mon Sep 17 00:00:00 2001
From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Wed, 1 Sep 2021 17:42:59 -0700
Subject: [PATCH] Update CI to macOS 11 (#7104)

`macos-latest` is currently using macOS 10.15, so this updates the CI to use `mac-11` (Big Sur).
---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 103cfc005..1ab8f6fdb 100644
--- 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
-- 
2.30.2