Merge pull request #137 from HerodotusDev/ci_fix

fix/ci
HerodotusDev · Jul 22, 2024 · e5cb297 · e5cb297
2 parents 417f3be + 4ceaaea
commit e5cb297
Showing 1 changed file with 2 additions and 43 deletions.
diff --git a/.github/workflows/proof_verification_tests.yml b/.github/workflows/proof_verification_tests.yml
@@ -9,11 +9,11 @@ on:
       - main
 
 jobs:
-  verify-proof-cairo0:
+  verify-example-proofs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        cairo_version: ["cairo0"]
+        cairo_version: ["cairo0", "cairo1"]
         layout: ["dex", "recursive", "recursive_with_poseidon", "small", "starknet", "starknet_with_keccak"]
     steps:
       - name: Checkout repository
@@ -41,46 +41,5 @@ jobs:
       - 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
-
-  verify-proof-cairo1:
-      runs-on: ubuntu-latest
-      strategy:
-        matrix:
-          cairo_version: ["cairo1"]
-          layout: ["dex", "recursive", "recursive_with_poseidon", "small", "starknet", "starknet_with_keccak"]
-      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