diff --git a/.github/workflows/test-bitwuzla.yml b/.github/workflows/test-bitwuzla.yml
index f17352bb..3191353e 100644
--- a/.github/workflows/test-bitwuzla.yml
+++ b/.github/workflows/test-bitwuzla.yml
@@ -33,4 +33,4 @@ jobs:
         run: opam exec -- dune build @install
 
       - name: Test
-        run: opam exec -- dune exec ./test/test_bitwuzla.exe
+        run: opam exec -- dune runtest
diff --git a/.github/workflows/test-colibri2.yml b/.github/workflows/test-colibri2.yml
index b3197796..193a2d3c 100644
--- a/.github/workflows/test-colibri2.yml
+++ b/.github/workflows/test-colibri2.yml
@@ -33,4 +33,4 @@ jobs:
         run: opam exec -- dune build @install
 
       - name: Test
-        run: opam exec -- dune exec ./test/test_colibri2.exe
+        run: opam exec -- dune runtest
diff --git a/.github/workflows/test-cvc5.yml b/.github/workflows/test-cvc5.yml
new file mode 100644
index 00000000..c5493ded
--- /dev/null
+++ b/.github/workflows/test-cvc5.yml
@@ -0,0 +1,36 @@
+name: Test cvc5
+
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+    branches:
+      - main
+
+jobs:
+  test-cvc5:
+    runs-on: ubuntu-latest
+    env:
+      OPAMCONFIRMLEVEL: unsafe-yes
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+
+      - name: Setup OCaml 4.14
+        uses: ocaml/setup-ocaml@v2
+        with:
+          ocaml-compiler: "4.14"
+          dune-cache: true
+          allow-prerelease-opam: true
+
+      - name: Install dependencies
+        run: |
+          opam install -y . --deps-only --with-test
+          opam install cvc5
+
+      - name: Build
+        run: opam exec -- dune build @install
+
+      - name: Test
+        run: opam exec -- dune runtest