Merge pull request #240 from morpho-labs/feat/improve-ci

feat: improve continuous integration setup

.github/workflows/formatting.yml

@@ -0,0 +1,34 @@
+name: Formatting
+
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}-${{ github.event_name }}
+  cancel-in-progress: true
+
+jobs:
+  lint:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+        with:
+          submodules: recursive
+
+      - name: Install node
+        uses: actions/setup-node@v3
+        with:
+          node-version: 18
+          cache: yarn
+
+      - name: Install dependencies
+        run: yarn install --frozen-lockfile
+
+      - name: Install Foundry
+        uses: foundry-rs/foundry-toolchain@v1
+
+      - name: Run Linter
+        run: yarn lint

.github/workflows/foundry.yml

@@ -7,10 +7,27 @@ on:
   pull_request:
   workflow_dispatch:
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}-${{ github.event_name }}
+  cancel-in-progress: true
+
 jobs:
   forge-test:
     strategy:
       fail-fast: true
+      matrix:
+        type: ["slow", "fast"]
+        include:
+          - type: "slow"
+            fuzz-runs: 100000
+            max-test-rejects: 500000
+            invariant-runs: 1000
+            invariant-depth: 100
+          - type: "fast"
+            fuzz-runs: 256
+            max-test-rejects: 65536
+            invariant-runs: 256
+            invariant-depth: 15
 
     runs-on: ubuntu-latest
     steps:
@@ -21,10 +38,10 @@ jobs:
       - name: Install Foundry
         uses: foundry-rs/foundry-toolchain@v1
 
-      - name: Run Forge tests
+      - name: Run Forge tests in ${{ matrix.type }} mode
         run: forge test -vvv
         env:
-          FOUNDRY_FUZZ_RUNS: 100000
-          FOUNDRY_FUZZ_MAX_TEST_REJECTS: 500000
-          FOUNDRY_INVARIANT_RUNS: 1000
-          FOUNDRY_INVARIANT_DEPTH: 100
+          FOUNDRY_FUZZ_RUNS: ${{ matrix.fuzz-runs }}
+          FOUNDRY_FUZZ_MAX_TEST_REJECTS: ${{ matrix.max-test-rejects }}
+          FOUNDRY_INVARIANT_RUNS: ${{ matrix.invariant-runs }}
+          FOUNDRY_INVARIANT_DEPTH: ${{ matrix.invariant-depth }}

.github/workflows/hardhat.yml

@@ -7,11 +7,12 @@ on:
   pull_request:
   workflow_dispatch:
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}-${{ github.event_name }}
+  cancel-in-progress: true
+
 jobs:
   yarn-test:
-    strategy:
-      fail-fast: true
-
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v3

.prettierrc

@@ -1,3 +1,4 @@
 {
-    "printWidth": 120
+    "printWidth": 120,
+    "plugins": ["@trivago/prettier-plugin-sort-imports"]
 }

package.json

@@ -2,7 +2,9 @@
   "scripts": {
     "postinstall": "husky install",
     "compile": "npx hardhat compile --force",
-    "test": "npx hardhat test"
+    "test": "npx hardhat test",
+    "lint": "prettier --check test/hardhat && forge fmt --check",
+    "lint:fix": "prettier --write test/hardhat && forge fmt"
   },
   "dependencies": {
     "@ethersproject/abi": "^5.7.0",

test/hardhat/Blue.spec.ts

@@ -136,7 +136,14 @@ describe("Blue", () => {
         const totalSupplyShares = await blue.totalSupplyShares(id);
         Promise.all([
           blue.connect(user).supply(market, amount, user.address, []),
-          blue.connect(user).withdraw(market, amount.mul(totalSupplyShares.add(BigNumber.WAD)).div(totalSupply.add(1)).div(2), user.address, user.address),
+          blue
+            .connect(user)
+            .withdraw(
+              market,
+              amount.mul(totalSupplyShares.add(BigNumber.WAD)).div(totalSupply.add(1)).div(2),
+              user.address,
+              user.address,
+            ),
         ]);
       } else {
         const totalSupply = await blue.totalSupply(id);
@@ -150,7 +157,14 @@ describe("Blue", () => {
           Promise.all([
             blue.connect(user).supplyCollateral(market, amount, user.address, []),
             blue.connect(user).borrow(market, amount.div(2), user.address, user.address),
-            blue.connect(user).repay(market, amount.mul(totalBorrowShares.add(BigNumber.WAD)).div(totalBorrow.add(1)).div(4), user.address, []),
+            blue
+              .connect(user)
+              .repay(
+                market,
+                amount.mul(totalBorrowShares.add(BigNumber.WAD)).div(totalBorrow.add(1)).div(4),
+                user.address,
+                [],
+              ),
             blue.connect(user).withdrawCollateral(market, amount.div(8), user.address, user.address),
           ]);
         }