Try again to build on Linux using vcpkg

facebookexperimental · Oct 24, 2023 · ef867b1 · ef867b1
1 parent f69b1dc
commit ef867b1
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.github/workflows/mirai_on_mirai.yml b/.github/workflows/mirai_on_mirai.yml
@@ -10,11 +10,11 @@ jobs:
   build_with_vcpkg_installed_z3:
     strategy:
       matrix:
-        build: [macos, windows] #[linux, macos, windows]
+        build: [linux, macos, windows]
         include:
-#          - build: linux
-#            os: ubuntu-latest
-#            vcpkg_triplet: x64-linux
+          - build: linux
+            os: ubuntu-latest
+            vcpkg_triplet: x64-linux
           - build: macos
             os: macos-latest
             vcpkg_triplet: x64-osx