Update dependencies

facebookexperimental · Jul 1, 2024 · a54592b · a54592b
1 parent a94a8c7
commit a54592b
Show file tree

Hide file tree

Showing 5 changed files with 206 additions and 214 deletions.
diff --git a/.github/workflows/mirai_on_mirai.yml b/.github/workflows/mirai_on_mirai.yml
@@ -10,14 +10,14 @@ jobs:
   build_with_vcpkg_installed_z3:
     strategy:
       matrix:
-        build: [linux, macos, windows]
+        build: [ linux, macos, windows ]
         include:
           - build: linux
             os: ubuntu-latest
             vcpkg_triplet: x64-linux
           - build: macos
             os: macos-latest
-            vcpkg_triplet: x64-osx
+            vcpkg_triplet: arm-osx
           - build: windows
             os: windows-latest
             vcpkg_triplet: x64-windows-static-md

diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -31,7 +31,7 @@ jobs:
         id: vcpkg
         with:
           pkgs: z3
-          triplet: x64-osx
+          triplet: arm-osx
           cache-key: macos-latest
           revision: master
           token: ${{ github.token }}