ci: fix calling cargo prove toolchain

succinctlabs · Jan 15, 2025 · fb4826e · fb4826e
1 parent debe7e1
commit fb4826e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/elf.yml b/.github/workflows/elf.yml
@@ -34,9 +34,9 @@ jobs:
         
         # Build the binaries
         cd programs/range
-        cargo prove build --elf-name range-elf --docker --tag latest
+        ~/.sp1/bin/cargo-prove prove build --elf-name range-elf --docker --tag latest
         cd ../aggregation
-        cargo prove build --elf-name aggregation-elf --docker --tag latest
+        ~/.sp1/bin/cargo-prove prove build --elf-name aggregation-elf --docker --tag latest
         cd ../../
 
         # Save new verification keys