Skip to content

Commit

Permalink
add
Browse files Browse the repository at this point in the history
  • Loading branch information
ratankaliani committed Sep 3, 2024
1 parent 17e9a1e commit 0894d5b
Showing 1 changed file with 10 additions and 7 deletions.
17 changes: 10 additions & 7 deletions .github/workflows/compile.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -36,10 +36,13 @@ jobs:
curl -L https://sp1.succinct.xyz | bash
~/.sp1/bin/sp1up
~/.sp1/bin/cargo-prove prove --version
- name: Compile programs
run: |
cargo prove build --binary fault-proof &
cargo prove build --binary range &
cargo prove build --binary aggregation &
wait
working-directory: programs
source /home/runner/.bashrc
- name: Compile the fault proof program
run: cargo prove build --binary fault-proof
working-directory: programs/fault-proof
- name: Compile the range program
run: cargo prove build --binary range
working-directory: programs/range
- name: Compile the aggregation program
run: cargo prove build --binary aggregation
working-directory: programs/aggregation

0 comments on commit 0894d5b

Please sign in to comment.