Add slither to the CI

.github/workflows/ci.yml

@@ -9,11 +9,11 @@ on:
       - "*"
 
 jobs:
-  check:
+  foundry:
     strategy:
       fail-fast: true
 
-    name: CI
+    name: Foundry
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v3
@@ -50,4 +50,26 @@ jobs:
         uses: actions/upload-artifact@v3
         with:
           name: coverage
-          path: report/
+          path: report/
+
+  slither:
+    strategy:
+      fail-fast: true
+
+    name: Slither
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+        with:
+          submodules: recursive
+
+      - name: Setup Foundry
+        uses: foundry-rs/foundry-toolchain@v1
+        with:
+          version: nightly
+
+      - name: Run Slither
+        uses: crytic/[email protected]
+        id: slither
+        with:
+          fail-on: low

slither.config.json

@@ -0,0 +1,3 @@
+{
+  "filter_paths": "(lib/|test/)"
+}