diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-09-01 17:42:59 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-02 00:42:59 +0000 |
| commit | d2b196b04078464ca843112baeeda5a81fe935a0 (patch) | |
| tree | 3c840960cdf0199d9f7fe78fafaf2f8e79365c39 | |
| parent | 351fe43811e35f04ced22ca459fa31f7dd94937f (diff) | |
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).
| -rw-r--r-- | .github/workflows/ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |