ci: remove proving from the pipeline

Waiting for a compatible toolchain version.
NilFoundation · Nov 10, 2023 · 6295543 · 6295543
1 parent 55c84d6
commit 6295543
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