File tree Expand file tree Collapse file tree 1 file changed +0
-44
lines changed
Expand file tree Collapse file tree 1 file changed +0
-44
lines changed Original file line number Diff line number Diff line change 2626 components : rustfmt, clippy
2727 override : true
2828
29- - name : Cache Rust dependencies
30- uses : actions/cache@v3
31- with :
32- path : |
33- ~/.cargo/registry
34- ~/.cargo/git
35- crates/target
36- key : ${{ runner.os }}-rust-${{ hashFiles('**/Cargo.lock') }}
37- restore-keys : |
38- ${{ runner.os }}-rust-
39-
40- - name : Build Batcher
41- run : |
42- cd crates
43- cargo build --all
44-
45- - name : Check formatting of AggregationMode
46- run : |
47- cd aggregation_mode
48- cargo fmt --all -- --check
49-
50- - name : Build AggregationMode # We build before clippy to generate the ELF
51- run : |
52- cd aggregation_mode
53- cargo build --all
54-
55- - name : Run Clippy on AggregationMode
56- run : |
57- cd aggregation_mode
58- # We need to skip the build as clippy does not support the riscv32im-risc0-zkvm-elf target
59- RISC0_SKIP_BUILD=1 cargo clippy --all -- -D warnings
60-
6129 test :
6230 runs-on : aligned-runner
6331 needs : build
6836 - name : foundry-toolchain
6937 uses :
foundry-rs/[email protected] 7038
71- # Reference: https://github.com/succinctlabs/sp1/actions/runs/8886659400/workflow#L61-L65
72- - name : Install sp1 toolchain
73- run : |
74- curl -L https://sp1.succinct.xyz | bash
75- source /home/runner/.bashrc
76- ~/.sp1/bin/sp1up
77-
78- - name : Install risc0 toolchain
79- run : |
80- curl -L https://risczero.com/install | bash
81- source ~/.bashrc
82- ~/.risc0/bin/rzup install
8339
8440 - name : Cache Rust dependencies
8541 uses : actions/cache@v3
You can’t perform that action at this time.
0 commit comments