fix .yml

Certora · Mar 26, 2024 · 34a0d8f · 34a0d8f
1 parent ee590ed
commit 34a0d8f
Showing 1 changed file with 9 additions and 8 deletions.
diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
@@ -31,7 +31,8 @@ jobs:
         with: { java-version: '11', java-package: jre }
 
       - name: Install certora cli
-        run: pip install certora-cli==3.6.8.post3
+        run: pip install certora-cli
+//        run: pip install certora-cli==3.6.8.post3
 
       - name: Install solc
         run: |
@@ -64,10 +65,10 @@ jobs:
           - TADEAS-pool-simple-properties.conf --rule cannotDepositInInactiveReserve --msg "cannotDepositInInactiveReserve"
           - TADEAS-pool-simple-properties.conf --rule cannotDepositInFrozenReserve --msg "cannotDepositInFrozenReserve"
           - TADEAS-pool-simple-properties.conf  --rule cannotDepositZeroAmount --msg "cannotDepositZeroAmount"
-           - TADEAS-pool-simple-properties.conf  --rule cannotWithdrawZeroAmount --msg "cannotWithdrawZeroAmount"
-           - TADEAS-pool-simple-properties.conf --rule cannotWithdrawFromInactiveReserve --msg "cannotWithdrawFromInactiveReserve"
-           - TADEAS-pool-simple-properties.conf  --rule cannotBorrowZeroAmount --msg "cannotBorrowZeroAmount"
-           - TADEAS-pool-simple-properties.conf  --rule cannotBorrowOnInactiveReserve --msg "cannotBorrowOnInactiveReserve"
-           - TADEAS-pool-simple-properties.conf  --rule cannotBorrowOnReserveDisabledForBorrowing --msg "cannotBorrowOnReserveDisabledForBorrowing"
-           - TADEAS-pool-simple-properties.conf  --rule cannotBorrowOnFrozenReserve --msg "cannotBorrowOnFrozenReserve"
-           - TADEAS-pool-no-summarizations.conf
+          - TADEAS-pool-simple-properties.conf  --rule cannotWithdrawZeroAmount --msg "cannotWithdrawZeroAmount"
+          - TADEAS-pool-simple-properties.conf --rule cannotWithdrawFromInactiveReserve --msg "cannotWithdrawFromInactiveReserve"
+          - TADEAS-pool-simple-properties.conf  --rule cannotBorrowZeroAmount --msg "cannotBorrowZeroAmount"
+          - TADEAS-pool-simple-properties.conf  --rule cannotBorrowOnInactiveReserve --msg "cannotBorrowOnInactiveReserve"
+          - TADEAS-pool-simple-properties.conf  --rule cannotBorrowOnReserveDisabledForBorrowing --msg "cannotBorrowOnReserveDisabledForBorrowing"
+          - TADEAS-pool-simple-properties.conf  --rule cannotBorrowOnFrozenReserve --msg "cannotBorrowOnFrozenReserve"
+          - TADEAS-pool-no-summarizations.conf