diff --git a/.github/workflows/action.yml b/.github/workflows/action.yml
index 3693b40..a0fd8c5 100644
--- a/.github/workflows/action.yml
+++ b/.github/workflows/action.yml
@@ -16,4 +16,8 @@ jobs:
         with:
           enable-stack: true
           stack-version: 'latest'
+      - run: mkdir deps
+      - run: wget https://github.com/cvc5/cvc5/releases/latest/download/cvc5-Linux
+      - run: mv cvc5-Linux deps/cvc5
+      - run: chmod u+x deps/cvc5
       - run: stack test