From 76c7bca90dbe98c428f61a75175a7656145d367e Mon Sep 17 00:00:00 2001
From: Ryan Scott <rscott@galois.com>
Date: Fri, 8 Nov 2024 13:56:51 -0500
Subject: [PATCH] TEMPORARY HACK: Only build cvc4

---
 .github/workflows/ci.yml | 81 ++++++++++++++++++++--------------------
 1 file changed, 41 insertions(+), 40 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 937f9e9..2959101 100644
--- 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: