add

succinctlabs · Sep 3, 2024 · d7006ec · d7006ec
1 parent 83de031
commit d7006ec
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/compile.yaml b/.github/workflows/compile.yaml
@@ -38,11 +38,11 @@ jobs:
         ~/.sp1/bin/cargo-prove prove --version
         source ~/.bashrc
     - name: Compile the fault proof program
-      run: cargo prove build --binary fault-proof
+      run: ~/.sp1/bin/cargo-prove prove build --binary fault-proof
       working-directory: programs/fault-proof
     - name: Compile the range program
-      run: cargo prove build --binary range
+      run: ~/.sp1/bin/cargo-prove prove build --binary range
       working-directory: programs/range
     - name: Compile the aggregation program
-      run: cargo prove build --binary aggregation
+      run: ~/.sp1/bin/cargo-prove prove build --binary aggregation
       working-directory: programs/aggregation