From 067781819f0627943765798eedcb4282d25c5d4d Mon Sep 17 00:00:00 2001
From: r4bbit <445106+0x-r4bbit@users.noreply.github.com>
Date: Mon, 25 Mar 2024 15:11:28 +0100
Subject: [PATCH] refactor(certora): use CI matrix for verification jobs

---
 .github/workflows/ci.yml | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 3cf3d04..64fa303 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -159,10 +159,17 @@ jobs:
         run: "pnpm install"
 
       - name: Verify rules
-        run: "pnpm verify"
+        run: |
+          pnpm ${{matrix.rule}}
         env:
           CERTORAKEY: ${{ secrets.CERTORAKEY }}
 
     strategy:
       fail-fast: false
       max-parallel: 16
+      matrix:
+        rule:
+          - verify:stake_vault
+          - verify:stake_manager
+          - verify:stake_manager_process
+          - verify:stake_manager_start_migration