June polygon pull

.github/workflows/ci.yml

@@ -65,8 +65,8 @@ jobs:
       - name: Run cargo clippy
         run: cargo clippy --all-targets -- -D warnings
 
-  simple_proof:
-    name: Execute bash script to generate and verify a proof from a small block
+  simple_proof_regular:
+    name: Execute bash script to generate and verify a proof for a small block.
     runs-on: zero-ci
 
     steps:
@@ -77,3 +77,16 @@ jobs:
         run: |
           pushd tools
           ./simple_test.sh
+
+  simple_proof_witness_only:
+    name: Execute bash script to generate the proof witness for a small block.
+    runs-on: zero-ci
+
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v3
+
+      - name: Run the script
+        run: |
+          pushd tools
+          ./simple_test.sh test_only

.gitignore

@@ -17,3 +17,6 @@ verifier_state_*
 # Coordinator output
 coordinator/benchmark_out/
 coordinator/proof_out/
+
+# Ignore IntelliJ IDEA/RustRover/Clion metadata
+.idea/