update readme and use run.sh in the CI

NilFoundation · Feb 16, 2024 · 1bf9ae7 · 1bf9ae7
1 parent 71d9efb
commit 1bf9ae7
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -70,6 +70,8 @@ jobs:
       - name: Generate main.cpp proof
         run: proof-generator-single-threaded --circuit="template.crct" --assignment-table="template.tbl" --proof="proof.bin"
 
+      - name: Run run.sh
+        run: bash scripts/run.sh
 
       - name: Compile arithmetics example
         run: make -C ${ZKLLVM_BUILD:-build} arithmetics_cpp_example

diff --git a/README.md b/README.md
@@ -120,6 +120,13 @@ proof-generator-multi-threaded --version
 proof-generator-single-threaded --version
 ```
 
+## Steps 1-3: Use script to do everything
+
+```bash
+bash scripts/run.sh
+```
+or
+
 ## Step 1: Configure the project and compile the circuit
 
 In `./src/main.cpp`, we have a function starting with `[[circuit]]`.