add

succinctlabs · Jan 16, 2025 · 192bfb8 · 192bfb8
1 parent ccda944
commit 192bfb8
Showing 1 changed file with 0 additions and 20 deletions.
diff --git a/.github/workflows/compile.yaml b/.github/workflows/compile.yaml
@@ -22,23 +22,3 @@ jobs:
     - name: Compile the range program
       run: cargo build --profile release-client-lto
       working-directory: programs/range
-  build_zkvm_programs:
-    runs-on:
-      - runs-on
-      - runner=64cpu-linux-arm64
-      - run-id=${{ github.run_id }} 
-    steps:
-    - name: Checkout code
-      uses: actions/checkout@v4
-    - name: Install SP1 toolchain
-      run: |
-        curl -L https://sp1.succinct.xyz | bash
-        ~/.sp1/bin/sp1up 
-        ~/.sp1/bin/cargo-prove prove --version
-        source ~/.bashrc
-    - name: Compile the range program
-      run: ~/.sp1/bin/cargo-prove prove build --binary range
-      working-directory: programs/range
-    - name: Compile the aggregation program
-      run: ~/.sp1/bin/cargo-prove prove build --binary aggregation
-      working-directory: programs/aggregation