disable lare examples proving in the CI

NilFoundation · Feb 8, 2024 · bc54308 · bc54308
1 parent 8d22ab2
commit bc54308
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -187,15 +187,15 @@ jobs:
         run: make -C ${ZKLLVM_BUILD:-build} eddsa_signature_verification
       - name: Build eddsa_signature_verification circuit file and assignment table
         run: assigner -b build/src/eddsa_signature_verification.ll -i zkLLVM/examples/inputs/eddsa_signature_verification.inp --circuit eddsa_signature_verification.crct --assignment-table eddsa_signature_verification.tbl -e pallas
-      - name: Generate eddsa_signature_verification proof
-        run: proof-generator-single-threaded --circuit="eddsa_signature_verification.crct" --assignment-table="eddsa_signature_verification.tbl" --proof="eddsa_signature_verification.bin"
+      # - name: Generate eddsa_signature_verification proof
+      #   run: proof-generator-single-threaded --circuit="eddsa_signature_verification.crct" --assignment-table="eddsa_signature_verification.tbl" --proof="eddsa_signature_verification.bin"
 
       - name: Compile balances_tree example
         run: make -C ${ZKLLVM_BUILD:-build} balances_tree
       - name: Build balances_tree circuit file and assignment table
         run: assigner -b build/src/balances_tree.ll -i zkLLVM/examples/inputs/balances_tree_public.inp -p zkLLVM/examples/inputs/balances_tree_private.inp --circuit balances_tree.crct --assignment-table balances_tree.tbl -e pallas
-      - name: Generate balances_tree proof
-        run: proof-generator-single-threaded --circuit="balances_tree.crct" --assignment-table="balances_tree.tbl" --proof="balances_tree.bin"
+      # - name: Generate balances_tree proof
+      #   run: proof-generator-single-threaded --circuit="balances_tree.crct" --assignment-table="balances_tree.tbl" --proof="balances_tree.bin"
 
       - name: Compile sha2_512 example
         run: make -C ${ZKLLVM_BUILD:-build} sha2_512