diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 6210092..ab3de2e 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -19,6 +19,8 @@ concurrency: jobs: sp1-program: + strategy: + fail-fast: true runs-on: ubuntu-latest steps: - name: Checkout Repository @@ -36,13 +38,14 @@ jobs: with: prefix-key: v2-rust - - name: Setup SP1 toolchain - shell: bash + - name: Install SP1 toolchain run: | curl -L https://sp1.succinct.xyz | bash - ~/.config/.sp1/bin/sp1up - ~/.config/.sp1/bin/cargo-prove prove --version - echo "$HOME/.config/.sp1/bin" >> $GITHUB_PATH + ~/.sp1/bin/sp1up + echo "$HOME/.sp1/bin" >> $GITHUB_PATH + + - name: Check SP1 toolchain + run: cargo-prove prove --version - name: Build SP1 program run: just sp1-build diff --git a/Cargo.lock b/Cargo.lock index 6773060..38574ac 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -2850,9 +2850,9 @@ dependencies = [ [[package]] name = "openssl" -version = "0.10.64" +version = "0.10.66" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "95a0481286a310808298130d22dd1fef0fa571e05a8f44ec801801e84b216b1f" +checksum = "9529f4786b70a3e8c61e11179af17ab6188ad8d0ded78c5529441ed39d4bd9c1" dependencies = [ "bitflags 2.6.0", "cfg-if", @@ -2882,9 +2882,9 @@ checksum = "ff011a302c396a5197692431fc1948019154afc178baf7d8e37367442a4601cf" [[package]] name = "openssl-sys" -version = "0.9.102" +version = "0.9.103" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c597637d56fbc83893a35eb0dd04b2b8e7a50c91e64e9493e398b5df4fb45fa2" +checksum = "7f9e8deee91df40a943c71b917e5874b951d32a802526c85721ce3b776c929d6" dependencies = [ "cc", "libc", diff --git a/justfile b/justfile index 0108885..417275a 100644 --- a/justfile +++ b/justfile @@ -6,7 +6,7 @@ default: @sp1-build: echo "Rebuilding SP1 program ..." mkdir -p sp1/program/elf - cd sp1/program && cargo prove build --verbose + cd sp1/program && cargo-prove prove build mv elf/riscv32im-succinct-zkvm-elf sp1/program/elf/fib-riscv32im-succinct-zkvm-elf && rm -rf elf/ echo "... done"