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