DO NOT MERGE: Only build cvc5 on Linux/macOS

GaloisInc · Mar 14, 2023 · 1d867a6 · 1d867a6
1 parent d05ebe5
commit 1d867a6
Showing 1 changed file with 3 additions and 41 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -16,8 +16,8 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        os: [ubuntu-22.04, ubuntu-20.04, macos-12, windows-2019]
-        solver: [abc, boolector, cvc4, cvc5, yices, z3-4.8.8, z3-4.8.14]
+        os: [ubuntu-22.04, ubuntu-20.04, macos-12]
+        solver: [cvc5]
     steps:
       - uses: actions/checkout@v2
         with:
@@ -102,51 +102,13 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        os: [ubuntu-22.04, ubuntu-20.04, macos-12, windows-2019]
+        os: [ubuntu-22.04, ubuntu-20.04, macos-12]
     steps:
-      - uses: actions/download-artifact@v2
-        with:
-          name: "${{ matrix.os }}-abc-bin"
-          path: bin
-
-      - uses: actions/download-artifact@v2
-        with:
-          name: "${{ matrix.os }}-boolector-bin"
-          path: bin
-
-      - uses: actions/download-artifact@v2
-        with:
-          name: "${{ matrix.os }}-cvc4-bin"
-          path: bin
-
       - uses: actions/download-artifact@v2
         with:
           name: "${{ matrix.os }}-cvc5-bin"
           path: bin
 
-      - uses: actions/download-artifact@v2
-        with:
-          name: "${{ matrix.os }}-yices-bin"
-          path: bin
-
-      - uses: actions/download-artifact@v2
-        with:
-          name: "${{ matrix.os }}-z3-4.8.8-bin"
-          path: bin
-
-      - uses: actions/download-artifact@v2
-        with:
-          name: "${{ matrix.os }}-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@v2
         with:
           path: bin