From 3e7861b5ced0c8f491dd567a96ed75578c043e89 Mon Sep 17 00:00:00 2001 From: Nick Volynkin 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 | 9 --------- 1 file changed, 9 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 0115455..1f0efdb 100644 --- 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