fix: cargo prove not installed

succinctlabs · Nov 7, 2024 · 465c41b · 465c41b
1 parent 358ed8b
commit 465c41b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -267,12 +267,12 @@ jobs:
 
       - name: "Create SP1 project from template"
         run: |
-          cargo prove new hello
+          $HOME/.sp1/bin/cargo-prove new hello
 
       - name: "Build SP1 project"
         run: |
           cd ./hello/program
-          cargo prove build
+          $HOME/.sp1/bin/cargo-prove build
 
   cleanup:
     name: Release cleanup