ci: remove proving from the pipeline

Waiting for a compatible toolchain version.
NilFoundation · Nov 10, 2023 · 3e7861b · 3e7861b
1 parent a446e2b
commit 3e7861b
Showing 1 changed file with 0 additions and 9 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -31,12 +31,3 @@ 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
-
-      - name: Build circuit parameters for EVM verifier endpoint
-        run: scripts/run.sh --verbose --docker build_circuit_params