Update dependencies (#1261)

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

Hide file tree

Showing 7 changed files with 227 additions and 232 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,33 +31,33 @@ jobs:
         id: vcpkg
         with:
           pkgs: z3
-          triplet: x64-osx
+          triplet: arm64-osx
           cache-key: macos-latest
           revision: master
           token: ${{ github.token }}
           extra-args: --clean-buildtrees-after-build
 
       - name: Execute tests
         run: |
-          cargo test --all --no-default-features --features=vcpkg -- --test-threads=1
+          cargo test --all -- --test-threads=1
         env:
           CARGO_INCREMENTAL: 0
           RUSTFLAGS: "-Zprofile -Ccodegen-units=1 -Copt-level=0 -Clink-dead-code -Coverflow-checks=off -Zpanic_abort_tests"
 
-      - name: Setup grcov
-        run: |
-          cargo install grcov
-
-      - name: Run grcov
-        run: |
-          zip -0 cov.zip $(find . -name "mirai*.gc*" -print)
-          grcov cov.zip -s . -t lcov --llvm --ignore-not-existing --ignore "/*" -o lcov.info
-
-      - name: Upload coverage data to codecov.io
-        uses: codecov/codecov-action@v3
-        with:
-          token: ${{ secrets.CODECOV_TOKEN }}
-          files: "lcov.info"
+#      - name: Setup grcov
+#        run: |
+#          cargo install grcov
+#
+#      - name: Run grcov
+#        run: |
+#          zip -0 cov.zip $(find . -name "mirai*.gc*" -print)
+#          grcov cov.zip -s . -t lcov --llvm --ignore-not-existing --ignore "/*" -o lcov.info
+#
+#      - name: Upload coverage data to codecov.io
+#        uses: codecov/codecov-action@v3
+#        with:
+#          token: ${{ secrets.CODECOV_TOKEN }}
+#          files: "lcov.info"
 
   mirai_on_mirai_ubuntu:
     runs-on: ubuntu-latest