Add Slither (#25)

* Add Slither config * Add Slither to CI
OpenZeppelin · Dec 11, 2024 · fdb8e30 · fdb8e30
1 parent b9f2d42
commit fdb8e30
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 1 deletion.
diff --git a/.github/workflows/checks.yml b/.github/workflows/checks.yml
@@ -29,6 +29,7 @@ jobs:
       - name: Check format
         run: forge fmt --check
         id: format
+
   coverage:
     name: Coverage
     runs-on: ubuntu-latest
@@ -43,4 +44,16 @@ jobs:
 
       - uses: codecov/codecov-action@v4
         env:
-          CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}
+          CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}
+
+  slither:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - name: Set up environment
+        uses: ./.github/actions/setup
+
+      - uses: crytic/[email protected]
+        with:
+          node-version: 18.15
+          slither-version: 0.10.4
diff --git a/slither.config.json b/slither.config.json
@@ -0,0 +1,3 @@
+{
+    "filter_paths": "lib"
+}