ci: remove proving from the pipeline

Waiting for a compatible toolchain version.
NilFoundation · Nov 10, 2023 · 7feccd0 · 7feccd0
1 parent a446e2b
commit 7feccd0
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 5 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -32,9 +32,6 @@ jobs:
       - name: Build a statement for the Proof Market
         run: scripts/run.sh --verbose --docker build_statement
 
-      - name: Calculate a proof
-        run: scripts/run.sh --verbose --docker prove
-
       - name: Make constraint and assignment table for EVM verifier endpoint
         run: scripts/run.sh --verbose --docker build_constraint
 

diff --git a/scripts/run.sh b/scripts/run.sh
@@ -244,10 +244,8 @@ verify() {
 run_all() {
     compile
     build_statement
-    prove
     build_constraint
     build_circuit_params
-    verify
 }
 
 USE_DOCKER=false