diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index a6b129d..2642500 100644
--- 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
index 137e14d..79a6d75 100644
--- 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]]`.