chore: fixed the certora github action

liquid-collective · Oct 22, 2024 · f22bbbc · f22bbbc
1 parent 358cc59
commit f22bbbc
Showing 1 changed file with 19 additions and 12 deletions.
diff --git a/.github/workflows/Certora.yaml b/.github/workflows/Certora.yaml
@@ -1,5 +1,12 @@
 name: Certora verification
 
+on:
+    push:
+      paths:
+        - "contracts/**"
+        - "lib/**"
+        - ".github/**"
+
 jobs:
   verify:
     runs-on: ubuntu-latest
@@ -18,8 +25,8 @@ jobs:
       - name: Install python
         uses: actions/setup-python@v2
         with:
-          python-version: '3.10'
-          cache: 'pip'
+          python-version: "3.10"
+          cache: "pip"
 
       - name: Install certora
         run: pip3 install certora-cli
@@ -43,13 +50,13 @@ jobs:
       fail-fast: false
       max-parallel: 4
       matrix:
-        params: 
-          - {name: AllowlistV1, command: 'AllowlistV1.conf'} 
-          - {name: OperatorRegistryV1_1, command: 'OperatorRegistryV1_1.conf'} 
-          - {name: OperatorRegistryV1_2_2loops, command: 'OperatorRegistryV1_2_2loops.conf'} 
-          - {name: OperatorRegistryV1_2_4loops_v1, command: 'OperatorRegistryV1_2_4loops_v1.conf'} 
-          - {name: OperatorRegistryV1_2_4loops_v2, command: 'OperatorRegistryV1_2_4loops_v2.conf'} 
-          - {name: OperatorRegistryV1_3, command: 'OperatorRegistryV1_3.conf'} 
-          - {name: RedeemManagerV1, command: 'RedeemManagerV1.conf'} 
-          - {name: RiverV1, command: 'RiverV1.conf'} 
-          - {name: SharesManagerV1, command: 'SharesManagerV1.conf'} 
+        params:
+          - { name: AllowlistV1, command: "AllowlistV1.conf" }
+          - { name: OperatorRegistryV1_1, command: "OperatorRegistryV1_1.conf" }
+          - { name: OperatorRegistryV1_2_2loops, command: "OperatorRegistryV1_2_2loops.conf" }
+          - { name: OperatorRegistryV1_2_4loops_v1, command: "OperatorRegistryV1_2_4loops_v1.conf" }
+          - { name: OperatorRegistryV1_2_4loops_v2, command: "OperatorRegistryV1_2_4loops_v2.conf" }
+          - { name: OperatorRegistryV1_3, command: "OperatorRegistryV1_3.conf" }
+          - { name: RedeemManagerV1, command: "RedeemManagerV1.conf" }
+          - { name: RiverV1, command: "RiverV1.conf" }
+          - { name: SharesManagerV1, command: "SharesManagerV1.conf" }