Merge pull request #745 from morpho-org/chore/ci-update

chore: ci updates

Author: QGarchery

.github/workflows/certora.yml

@@ -12,8 +12,6 @@ jobs:
     runs-on: ubuntu-latest
 
     strategy:
-      fail-fast: false
-
       matrix:
         conf:
           - AccrueInterest
@@ -31,25 +29,20 @@ jobs:
           - Transfer
 
     steps:
-      - uses: actions/checkout@v4
-        with:
-          submodules: recursive
+      - uses: actions/checkout@v5
 
-      - name: Install python
-        uses: actions/setup-python@v5
+      - uses: actions/setup-python@v5
         with:
           python-version: ">=3.9"
 
-      - name: Install certora
-        run: pip install certora-cli
+      - run: pip install certora-cli
 
       - name: Install solc
         run: |
           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/solc-0.8.19
 
-      - name: Verify ${{ matrix.conf }}
-        run: certoraRun certora/confs/${{ matrix.conf }}.conf
+      - run: certoraRun certora/confs/${{ matrix.conf }}.conf
         env:
           CERTORAKEY: ${{ secrets.CERTORAKEY }}

.github/workflows/formatting.yml

@@ -12,21 +12,19 @@ concurrency:
   cancel-in-progress: true
 
 jobs:
-  forge-test:
-    strategy:
-      fail-fast: true
-
+  fmt:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
-        with:
-          submodules: recursive
-
-      - name: Install Foundry
-        uses: foundry-rs/foundry-toolchain@v1
+      - uses: actions/checkout@v5
+      - uses: foundry-rs/foundry-toolchain@v1
+      - run: forge fmt --check
 
-      - name: Run Forge tests
-        run: FOUNDRY_PROFILE=test forge test -vvv
+  test:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v5
+      - uses: foundry-rs/foundry-toolchain@v1
+      - run: forge test -vvv
         env:
           FOUNDRY_FUZZ_RUNS: 10000
           FOUNDRY_FUZZ_MAX_TEST_REJECTS: 500000

.github/workflows/foundry.yml

@@ -12,20 +12,10 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v4
-        with:
-          submodules: recursive
-
-      - name: Install python
-        uses: actions/setup-python@v5
+      - uses: actions/checkout@v5
+      - uses: actions/setup-python@v5
         with:
           python-version: ">=3.9"
-
-      - name: Install Foundry
-        uses: foundry-rs/foundry-toolchain@v1
-
-      - name: Install halmos
-        run: pip install halmos
-
-      - name: Run Halmos
-        run: FOUNDRY_PROFILE=test halmos
+      - uses: foundry-rs/foundry-toolchain@v1
+      - run: pip install halmos
+      - run: halmos

.github/workflows/halmos.yml

@@ -19,13 +19,12 @@ wrap_comments = true
 [lint]
 exclude_lints = [
     "unaliased-plain-import",
-    "unused-import",
-    "unsafe-typecast",
-    "mixed-case-variable",
-    "mixed-case-function",
     "asm-keccak256",
     "unwrapped-modifier-logic",
 ]
+ignore = [
+    'test/**/*.sol'
+]
 
 [profile.no_via_ir]
 via-ir = false