fix: slither filter

KintoXYZ · Jan 4, 2024 · 1a879e5 · 1a879e5
1 parent b91689e
commit 1a879e5
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/.github/workflows/slither.yml b/.github/workflows/slither.yml
@@ -17,8 +17,7 @@ jobs:
           node-version: 16
           fail-on: none
           slither-args: --checklist --markdown-root ${{ github.server_url }}/${{ github.repository }}/blob/${{ github.sha }}/
-          target: 'src/'
-
+
       - name: Create/update checklist as PR comment
         uses: actions/github-script@v6
         env:

diff --git a/slither.config.json b/slither.config.json
@@ -1,6 +1,7 @@
 {
-    "exclude_informational": true,
-    "exclude_low": true,
+    "exclude_informational": false,
+    "exclude_low": false,
     "exclude_medium": false,
-    "exclude_high": false
+    "exclude_high": false,
+    "filter_paths": "^(?!src/)"
 }