projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 351fe43) | patch
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)
commitd2b196b04078464ca843112baeeda5a81fe935a0
tree3c840960cdf0199d9f7fe78fafaf2f8e79365c39tree
parent351fe43811e35f04ced22ca459fa31f7dd94937fcommit | 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).
.github/workflows/ci.yml diff | blob | history