ci: update elf with docker 4.0.0-rc.10 build and ci

succinctlabs · Feb 6, 2025 · e31d4bf · e31d4bf
1 parent 1793137
commit e31d4bf
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 2 deletions.
diff --git a/.github/workflows/elf.yml b/.github/workflows/elf.yml
@@ -13,6 +13,11 @@ jobs:
   elf:
     runs-on: ubuntu-latest
     steps:
+      - name: Check Ubuntu version
+        run: |
+          lsb_release -a
+          cat /etc/os-release
+          uname -a
       - name: Checkout code
         uses: actions/checkout@v4
         with:
@@ -29,9 +34,9 @@ jobs:
         run: |
           # Build the binaries
           cd programs/range
-          ~/.sp1/bin/cargo-prove prove build --elf-name range-elf --docker --tag v3.4.0 --output-directory ../../elf
+          ~/.sp1/bin/cargo-prove prove build --elf-name range-elf --docker --tag v4.0.0-rc.10 --output-directory ../../elf
           cd ../aggregation
-          ~/.sp1/bin/cargo-prove prove build --elf-name aggregation-elf --docker --tag v3.4.0 --output-directory ../../elf
+          ~/.sp1/bin/cargo-prove prove build --elf-name aggregation-elf --docker --tag v4.0.0-rc.10 --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