action: working dir for cvc5 dependency install

cvc5 · Apr 25, 2024 · d32d4a3 · d32d4a3
1 parent a47250a
commit d32d4a3
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -24,9 +24,10 @@ jobs:
       with:
         repository: cvc5/cvc5
         path: cvc5
-      
+
     - name: Install dependencies
       uses: ./cvc5/.github/actions/install-dependencies
+      working-directory: ./cvc5
       with:
         with-documentation: false
         with-python-bindings: true