disable large examples proving

Author: CblPOK-git

.github/workflows/main.yml

@@ -201,8 +201,8 @@ jobs:
         run: make -C ${ZKLLVM_BUILD:-build} sha2_512
       - name: Build sha2_512 circuit file and assignment table
         run: assigner -b build/src/sha2_512.ll -i zkLLVM/examples/inputs/sha2_512.inp --circuit sha2_512.crct --assignment-table sha2_512.tbl -e pallas
-      - name: Generate sha2_512 proof
-        run: proof-generator-single-threaded --circuit="sha2_512.crct" --assignment-table="sha2_512.tbl" --proof="sha2_512.bin"
+      # - name: Generate sha2_512 proof
+      #   run: proof-generator-single-threaded --circuit="sha2_512.crct" --assignment-table="sha2_512.tbl" --proof="sha2_512.bin"
 
       - name: Compile pallas_curve_examples_pallas_curve_add example
         run: make -C ${ZKLLVM_BUILD:-build} pallas_curve_examples_pallas_curve_add