Update CI/CD

.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

.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)