File tree 2 files changed +24
-30
lines changed
2 files changed +24
-30
lines changed Original file line number Diff line number Diff line change 22
22
- name : Compile the range program
23
23
run : cargo build --profile release-client-lto
24
24
working-directory : programs/range
25
- build_zkvm_programs :
26
- runs-on :
27
- - runs-on
28
- - runner=64cpu-linux-arm64
29
- - run-id=${{ github.run_id }}
30
- steps :
31
- - name : Checkout code
32
- uses : actions/checkout@v4
33
- - name : Install SP1 toolchain
34
- run : |
35
- curl -L https://sp1.succinct.xyz | bash
36
- ~/.sp1/bin/sp1up
37
- ~/.sp1/bin/cargo-prove prove --version
38
- source ~/.bashrc
39
- - name : Compile the range program
40
- run : ~/.sp1/bin/cargo-prove prove build --binary range
41
- working-directory : programs/range
42
- - name : Compile the aggregation program
43
- run : ~/.sp1/bin/cargo-prove prove build --binary aggregation
44
- working-directory : programs/aggregation
You can’t perform that action at this time.
0 commit comments