From 7feccd05c742558c397297728a81d57c900daa82 Mon Sep 17 00:00:00 2001
From: Nick Volynkin <nick.volynkin@gmail.com>
Date: Fri, 10 Nov 2023 13:47:51 +0200
Subject: [PATCH] ci: remove proving from the pipeline

Waiting for a compatible toolchain version.
---
 .github/workflows/main.yml | 3 ---
 scripts/run.sh             | 2 --
 2 files changed, 5 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 0115455..c543c9f 100644
--- 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
index 3972168..d451c9c 100755
--- 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