new path for solvers

epfl-lara · Sep 4, 2024 · 2992da6 · 2992da6
1 parent f730eb2
commit 2992da6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/stainless-CI.yml b/.github/workflows/stainless-CI.yml
@@ -46,9 +46,9 @@ jobs:
         distribution: temurin
         java-version: 17
     - name: Install solvers
-      run: ./stainless-ci.sh --install-solvers ./local/bin
+      run: ./stainless-ci.sh --install-solvers $GITHUB_WORKSPACE/.local/bin
     - name: Add solvers to PATH
-      run: echo "./local/bin" >> $GITHUB_PATH
+      run: echo "$GITHUB_WORKSPACE/.local/bin" >> $GITHUB_PATH
     - name: Test solvers availability
       run: cvc5 --version && z3 --version && cvc4 --version
     - name: Build and Package