TEMPORARY HACK: Only build cvc4

GaloisInc · Nov 8, 2024 · 76c7bca · 76c7bca
1 parent 531431b
commit 76c7bca
Showing 1 changed file with 41 additions and 40 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -17,7 +17,8 @@ jobs:
       fail-fast: false
       matrix:
         os: [ubuntu-22.04, ubuntu-20.04, macos-13, macos-14, windows-2019]
-        solver: [abc, bitwuzla, boolector, cvc4, cvc5, yices, z3-4.8.8, z3-4.8.14]
+        # solver: [abc, bitwuzla, boolector, cvc4, cvc5, yices, z3-4.8.8, z3-4.8.14]
+        solver: [cvc4]
     steps:
       - uses: actions/checkout@v4
         with:
@@ -107,53 +108,53 @@ jobs:
       matrix:
         os: [ubuntu-22.04, ubuntu-20.04, macos-13, macos-14, windows-2019]
     steps:
-      - uses: actions/download-artifact@v4
-        with:
-          name: "${{ matrix.os }}-${{ runner.arch }}-abc-bin"
-          path: bin
+      # - uses: actions/download-artifact@v4
+      #   with:
+      #     name: "${{ matrix.os }}-${{ runner.arch }}-abc-bin"
+      #     path: bin
 
-      - uses: actions/download-artifact@v4
-        with:
-          name: "${{ matrix.os }}-${{ runner.arch }}-bitwuzla-bin"
-          path: bin
+      # - uses: actions/download-artifact@v4
+      #   with:
+      #     name: "${{ matrix.os }}-${{ runner.arch }}-bitwuzla-bin"
+      #     path: bin
 
-      - uses: actions/download-artifact@v4
-        with:
-          name: "${{ matrix.os }}-${{ runner.arch }}-boolector-bin"
-          path: bin
+      # - uses: actions/download-artifact@v4
+      #   with:
+      #     name: "${{ matrix.os }}-${{ runner.arch }}-boolector-bin"
+      #     path: bin
 
       - uses: actions/download-artifact@v4
         with:
           name: "${{ matrix.os }}-${{ runner.arch }}-cvc4-bin"
           path: bin
 
-      - uses: actions/download-artifact@v4
-        with:
-          name: "${{ matrix.os }}-${{ runner.arch }}-cvc5-bin"
-          path: bin
-
-      - uses: actions/download-artifact@v4
-        with:
-          name: "${{ matrix.os }}-${{ runner.arch }}-yices-bin"
-          path: bin
-
-      - uses: actions/download-artifact@v4
-        with:
-          name: "${{ matrix.os }}-${{ runner.arch }}-z3-4.8.8-bin"
-          path: bin
-
-      - uses: actions/download-artifact@v4
-        with:
-          name: "${{ matrix.os }}-${{ runner.arch }}-z3-4.8.14-bin"
-          path: bin
-
-        # Make a copy of z3-<LATEST_Z3_VERSION> named z3 for ease of use.
-        # Unfortunately, GitHub Actions' upload-artifact action doesn't support
-        # symlinks (see https://github.com/actions/upload-artifact/issues/93),
-        # so we have no choice but to copy the entire binary.
-      - name: Copy latest Z3 version
-        shell: bash
-        run: cp bin/z3-${{ env.LATEST_Z3_VERSION }} bin/z3
+      # - uses: actions/download-artifact@v4
+      #   with:
+      #     name: "${{ matrix.os }}-${{ runner.arch }}-cvc5-bin"
+      #     path: bin
+
+      # - uses: actions/download-artifact@v4
+      #   with:
+      #     name: "${{ matrix.os }}-${{ runner.arch }}-yices-bin"
+      #     path: bin
+
+      # - uses: actions/download-artifact@v4
+      #   with:
+      #     name: "${{ matrix.os }}-${{ runner.arch }}-z3-4.8.8-bin"
+      #     path: bin
+
+      # - uses: actions/download-artifact@v4
+      #   with:
+      #     name: "${{ matrix.os }}-${{ runner.arch }}-z3-4.8.14-bin"
+      #     path: bin
+
+      #   # Make a copy of z3-<LATEST_Z3_VERSION> named z3 for ease of use.
+      #   # Unfortunately, GitHub Actions' upload-artifact action doesn't support
+      #   # symlinks (see https://github.com/actions/upload-artifact/issues/93),
+      #   # so we have no choice but to copy the entire binary.
+      # - name: Copy latest Z3 version
+      #   shell: bash
+      #   run: cp bin/z3-${{ env.LATEST_Z3_VERSION }} bin/z3
 
       - uses: actions/upload-artifact@v4
         with: