Merge pull request #93 from yanghang8612/fix_ci

Bump xcode to 15.4.0 and cmake to 3.29.3

Author: CodeNinjaEvan

.circleci/config.yml

@@ -496,7 +496,7 @@ defaults:
 
   - base_osx: &base_osx
       macos:
-        xcode: "15.0.0"
+        xcode: 15.4.0
       resource_class: macos.m1.medium.gen1
       environment: &base_osx_env
         TERM: xterm

.circleci/osx_install_dependencies.sh

@@ -48,8 +48,6 @@ function validate_checksum {
 
 if [ ! -f /usr/local/lib/libz3.a ] # if this file does not exists (cache was not restored), rebuild dependencies
 then
-  brew uninstall temurin17
-  brew untap homebrew/homebrew-cask-versions
   brew update
   brew upgrade
 #  brew install cmake
@@ -63,7 +61,7 @@ then
 
   # install historical cmake
   chmod +x .circleci/install_cmake.sh
-  .circleci/install_cmake.sh 3.28.3
+  .circleci/install_cmake.sh 3.29.3
 
   # boost
   boost_version="1.84.0"