refactor: clean Certora CI

morpho-org · Dec 1, 2023 · c265b46 · c265b46
1 parent c716556
commit c265b46
Showing 1 changed file with 19 additions and 23 deletions.
diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
@@ -11,15 +11,30 @@ jobs:
   verify:
     runs-on: ubuntu-latest
 
+    strategy:
+      fail-fast: false
+
+      matrix:
+        conf:
+          - AccrueInterest
+          - ConsistentState
+          - ExactMath
+          - ExitLiquidity
+          - Health
+          - LibSummary
+          - Liveness
+          - RatioMath
+          - Reentrancy
+          - Reverts
+          - Transfer
+
     steps:
       - uses: actions/checkout@v3
         with:
           submodules: recursive
 
       - name: Install python
         uses: actions/setup-python@v4
-        with:
-          python-version: "3.10"
 
       - name: Install certora
         run: pip install certora-cli
@@ -30,26 +45,7 @@ jobs:
           chmod +x solc-static-linux
           sudo mv solc-static-linux /usr/local/bin/solc
 
-      - name: Verify rule ${{ matrix.script }}
-        run: |
-          echo "key length" ${#CERTORAKEY}
-          certoraRun certora/confs/${{ matrix.conf }}.conf
+      - name: Verify ${{ matrix.conf }}
+        run: certoraRun certora/confs/${{ matrix.conf }}.conf
         env:
           CERTORAKEY: ${{ secrets.CERTORAKEY }}
-
-    strategy:
-      fail-fast: false
-
-      matrix:
-        conf:
-          - AccrueInterest
-          - ConsistentState
-          - ExactMath
-          - ExitLiquidity
-          - Health
-          - LibSummary
-          - Liveness
-          - RatioMath
-          - Reentrancy
-          - Reverts
-          - Transfer