CI: cvc4 -> cvc5

DistRap · Nov 11, 2023 · 1a11156 · 1a11156
1 parent 43bcb2f
commit 1a11156
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -3,8 +3,8 @@ jobs:
     name: "GHC ${{ matrix.ghc }}, Cabal ${{ matrix.cabal }}, OS ${{ matrix.os }}"
     runs-on: "${{ matrix.os }}"
     steps:
-      - name: CVC4 dependency
-        run: sudo apt install cvc4
+      - name: CVC5 dependency
+        run: sudo apt install cvc5
       - uses: "actions/checkout@v4"
         with:
           submodules: recursive

diff --git a/ci.dhall b/ci.dhall
@@ -6,7 +6,7 @@ in    haskellCi.generalCi
           with extraSteps.pre
                =
             [ haskellCi.BuildStep.Name
-                { name = "CVC4 dependency", run = "sudo apt install cvc4" }
+                { name = "CVC5 dependency", run = "sudo apt install cvc5" }
             ]
         )
         haskellCi.DhallMatrix::{=}