From 4d1a2a2784b7bb2c62fd939b6e8c12763ef3241c Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 7 Sep 2020 18:55:31 -0700 Subject: [PATCH] update to xcode 9.2 for Travis Signed-off-by: Nikolaj Bjorner --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index f6958371f..3195eb995 100644 --- a/.travis.yml +++ b/.travis.yml @@ -70,7 +70,7 @@ matrix: # very slow so we should keep the number of configurations we test on this # OS to a minimum. - os: osx - osx_image: xcode8.3 + osx_image: xcode9.2 env: Z3_BUILD_TYPE=RelWithDebInfo DOTNET_BINDINGS=0 script: # Use `travis_wait` when doing LTO builds because this configuration will