From ae3208a6ad05f4a21bceb10b4917df32166b49a2 Mon Sep 17 00:00:00 2001
From: Bartosz Nowak <bartekn337@gmail.com>
Date: Thu, 13 Jun 2024 06:34:17 +0200
Subject: [PATCH] CI

---
 .../workflows/proof_verification_tests.yml    | 45 +++++++++++++++++--
 1 file changed, 41 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/proof_verification_tests.yml b/.github/workflows/proof_verification_tests.yml
index 3bf9cbab2..d2fb95781 100644
--- a/.github/workflows/proof_verification_tests.yml
+++ b/.github/workflows/proof_verification_tests.yml
@@ -9,13 +9,12 @@ on:
       - main
 
 jobs:
-  verify-proof:
+  verify-proof-cairo0:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        cairo_version: ["cairo0", "cairo1"]
-        # layout: ["dex", "recursive", "recursive_with_poseidon", "small", "starknet", "starknet_with_keccak"]
-        layout: ["recursive"]
+        cairo_version: ["cairo0"]
+        layout: ["dex", "recursive", "recursive_with_poseidon", "small", "starknet", "starknet_with_keccak"]
     steps:
       - name: Checkout repository
         uses: actions/checkout@v3
@@ -47,3 +46,41 @@ jobs:
       
       - name: Run verification
         run: cargo run --release --bin runner -- -p target/dev/cairo_verifier.sierra.json -c ${{ matrix.cairo_version }} < examples/proofs/${{ matrix.layout }}/${{ matrix.cairo_version }}_example_proof.json
+
+  verify-proof-cairo1:
+      runs-on: ubuntu-latest
+      strategy:
+        matrix:
+          cairo_version: ["cairo1"]
+          layout: ["recursive"]
+      steps:
+        - name: Checkout repository
+          uses: actions/checkout@v3
+        
+        - name: Setup Scarb
+          uses: software-mansion/setup-scarb@v1
+        
+        - name: Setup Rust toolchain
+          uses: actions-rust-lang/setup-rust-toolchain@v1
+        
+        - name: Setup Python
+          uses: actions/setup-python@v2
+          with:
+            python-version: '3.10'
+        
+        - name: Install dependencies
+          run: |
+            python -m pip install --upgrade pip
+            pip install -r requirements.txt
+        
+        - name: Configure layout
+          run: python configure.py -l ${{ matrix.layout }} -s keccak
+        
+        - name: Build project
+          run: scarb build
+        
+        - name: Test project
+          run: scarb test
+        
+        - name: Run verification
+          run: cargo run --release --bin runner -- -p target/dev/cairo_verifier.sierra.json -c ${{ matrix.cairo_version }} < examples/proofs/${{ matrix.layout }}/${{ matrix.cairo_version }}_example_proof.json
\ No newline at end of file