From 9d742112a42feba1b05411cc01fa07e14644b5b7 Mon Sep 17 00:00:00 2001
From: Filip Krawczyk <kotmawszy@gmail.com>
Date: Tue, 10 Sep 2024 13:55:57 +0200
Subject: [PATCH] Update CI/CD

---
 .github/workflows/proof_verification_tests.yml | 18 +++---------------
 .github/workflows/tests.yml                    |  3 ---
 2 files changed, 3 insertions(+), 18 deletions(-)

diff --git a/.github/workflows/proof_verification_tests.yml b/.github/workflows/proof_verification_tests.yml
index 118f06718..38280402f 100644
--- a/.github/workflows/proof_verification_tests.yml
+++ b/.github/workflows/proof_verification_tests.yml
@@ -14,7 +14,8 @@ jobs:
     strategy:
       matrix:
         cairo_version: ["cairo0", "cairo1"]
-        layout: ["dex", "recursive", "recursive_with_poseidon", "small", "starknet", "starknet_with_keccak"]
+        layout: ["recursive", "recursive_with_poseidon", "small", "dex", "starknet", "starknet_with_keccak"]
+        hasher: ["keccak"]
     steps:
       - name: Checkout repository
         uses: actions/checkout@v3
@@ -25,21 +26,8 @@ jobs:
       - 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
+        run: scarb build --no-default-features --features monolith,${{ matrix.layout }},${{ matrix.hasher }}
       
       - 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
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
index 4ad71ad6e..edd8633e0 100644
--- a/.github/workflows/tests.yml
+++ b/.github/workflows/tests.yml
@@ -19,6 +19,3 @@ jobs:
       
       - name: Run tests
         run: scarb test
-
-      - name: Build fact registry
-        run: (cd fact_registry && scarb build)