Update dependencies

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

Hide file tree

Showing 6 changed files with 209 additions and 216 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: arm64-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: arm64-osx
           cache-key: macos-latest
           revision: master
           token: ${{ github.token }}
@@ -42,6 +42,7 @@ jobs:
           cargo test --all --no-default-features --features=vcpkg -- --test-threads=1
         env:
           CARGO_INCREMENTAL: 0
+          MIRAI_SINGLE: true,
           RUSTFLAGS: "-Zprofile -Ccodegen-units=1 -Copt-level=0 -Clink-dead-code -Coverflow-checks=off -Zpanic_abort_tests"
 
       - name: Setup grcov