Workflow Updated (#803)

This PR updates the Certora Workflow to use the latest version and
removes the use of scripts in favour of using the command directly.
Additionally have updated the `checkout` and `setup-node` versions to
the latest major release.

.github/workflows/certora.yml

@@ -15,39 +15,31 @@ jobs:
         runs-on: ubuntu-latest
         strategy:
             matrix:
-                rule: ["verifyOwners.sh", "verifySafe.sh", "verifyModules.sh", "verifyNativeTokenRefund.sh", "verifySignatures.sh"]
+                rule: ["owner", "safe", "module", "nativeTokenRefund", "signatures"]
 
         steps:
-            - uses: actions/checkout@v3
+            - uses: actions/checkout@v4
 
             - name: Install python
               uses: actions/setup-python@v4
               with: { python-version: 3.11 }
 
-            - name: Install java
-              uses: actions/setup-java@v3
-              with: { java-version: "17", java-package: jre, distribution: semeru }
-
             - name: Install certora cli
-              run: pip install -Iv certora-cli==7.6.3
+              run: pip install -r certora/requirements.txt
 
             - name: Install solc
               run: |
                   wget https://github.com/ethereum/solidity/releases/download/v0.7.6/solc-static-linux
                   chmod +x solc-static-linux
                   sudo mv solc-static-linux /usr/local/bin/solc7.6
 
-                  wget https://github.com/ethereum/solidity/releases/download/v0.8.19/solc-static-linux
-                  chmod +x solc-static-linux
-                  sudo mv solc-static-linux /usr/local/bin/solc8.19
-
             - name: Verify rule ${{ matrix.rule }}
               run: |
                   cd certora
                   touch applyHarness.patch
                   make munged
                   cd ..
                   echo "key length" ${#CERTORAKEY}
-                  ./certora/scripts/${{ matrix.rule }}
+                  certoraRun certora/conf/${{ matrix.rule }}.conf --wait_for_results=all
               env:
                   CERTORAKEY: ${{ secrets.CERTORA_KEY }}

.github/workflows/ci.yml

@@ -7,8 +7,8 @@ jobs:
     lint-solidity:
         runs-on: ubuntu-latest
         steps:
-            - uses: actions/checkout@v2
-            - uses: actions/setup-node@v2
+            - uses: actions/checkout@v4
+            - uses: actions/setup-node@v4
               with:
                   node-version: ${{ env.NODE_VERSION }}
                   cache: "npm"
@@ -19,8 +19,8 @@ jobs:
     lint-typescript:
         runs-on: ubuntu-latest
         steps:
-            - uses: actions/checkout@v2
-            - uses: actions/setup-node@v2
+            - uses: actions/checkout@v4
+            - uses: actions/setup-node@v4
               with:
                   node-version: ${{ env.NODE_VERSION }}
                   cache: "npm"
@@ -37,8 +37,8 @@ jobs:
         env:
             SAFE_CONTRACT_UNDER_TEST: ${{ matrix.contract-name }}
         steps:
-            - uses: actions/checkout@v2
-            - uses: actions/setup-node@v2
+            - uses: actions/checkout@v4
+            - uses: actions/setup-node@v4
               with:
                   node-version: ${{ env.NODE_VERSION }}
                   cache: "npm"
@@ -76,8 +76,8 @@ jobs:
             SOLIDITY_VERSION: ${{ matrix.solidity }}
             SOLIDITY_SETTINGS: ${{ matrix.settings }}
         steps:
-            - uses: actions/checkout@v2
-            - uses: actions/setup-node@v2
+            - uses: actions/checkout@v4
+            - uses: actions/setup-node@v4
               with:
                   node-version: ${{ env.NODE_VERSION }}
                   cache: "npm"

certora/requirements.txt

@@ -0,0 +1 @@
+certora-cli==7.10.1