ci: use 4.0.0-rc.3 Docker tag

Checking if this was introduced with the 1.82 Rust toolchain.
succinctlabs · Feb 6, 2025 · a4421b3 · a4421b3
1 parent 15d0adb
commit a4421b3
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/elf.yml b/.github/workflows/elf.yml
@@ -29,9 +29,9 @@ jobs:
         run: |
           # Build the binaries
           cd programs/range
-          ~/.sp1/bin/cargo-prove prove build --elf-name range-elf --docker --tag v4.0.0-rc.10 --output-directory ../../elf
+          ~/.sp1/bin/cargo-prove prove build --elf-name range-elf --docker --tag v4.0.0-rc.3 --output-directory ../../elf
           cd ../aggregation
-          ~/.sp1/bin/cargo-prove prove build --elf-name aggregation-elf --docker --tag v4.0.0-rc.10 --output-directory ../../elf
+          ~/.sp1/bin/cargo-prove prove build --elf-name aggregation-elf --docker --tag v4.0.0-rc.3 --output-directory ../../elf
           cd ../../
 
           # Check for any changes in the elf directory

diff --git a/elf/aggregation-elf b/elf/aggregation-elf
diff --git a/elf/range-elf b/elf/range-elf