From d806acebe3ef918126bf4b28b9b564d999ef4ec1 Mon Sep 17 00:00:00 2001
From: Peter Robinson <drinkcoffee@eml.cc>
Date: Wed, 24 Jan 2024 14:47:44 +1000
Subject: [PATCH] Enable slither testing

---
 .github/workflows/test.yml | 12 ++++++++++--
 script/Ignore.s.sol        | 12 ------------
 slither.config.json        |  4 ++++
 3 files changed, 14 insertions(+), 14 deletions(-)
 delete mode 100644 script/Ignore.s.sol
 create mode 100644 slither.config.json

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 03a228fb..989dc016 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -52,7 +52,6 @@ jobs:
       - name: Install dependencies
         run: yarn install --frozen-lockfile --network-concurrency 1
       - name: Run eslint
-        continue-on-error: true
         run: yarn run eslint
   solhint:
     name: Run solhint
@@ -68,8 +67,17 @@ jobs:
       - name: Install dependencies
         run: yarn install --frozen-lockfile --network-concurrency 1
       - name: Run solhint
-        continue-on-error: true
         run: yarn run solhint contracts/**/*.sol
+  slither:
+    name: Run slither
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout Code
+        uses: actions/checkout@v3
+      - name: Run slither
+        uses: crytic/slither-action@v0.3.0
+        with:
+          slither-args: --compile-force-framework forge  --foundry-out-directory foundry-out
   publish:
     name: Publish to NPM (dry run)
     runs-on: ubuntu-latest
diff --git a/script/Ignore.s.sol b/script/Ignore.s.sol
deleted file mode 100644
index 8e9184ce..00000000
--- a/script/Ignore.s.sol
+++ /dev/null
@@ -1,12 +0,0 @@
-// SPDX-License-Identifier: MIT
-pragma solidity ^0.8.19;
-
-import "forge-std/Script.sol";
-
-contract IgnoreScript is Script {
-    function setUp() public {}
-
-    function run() public {
-        vm.broadcast();
-    }
-}
\ No newline at end of file
diff --git a/slither.config.json b/slither.config.json
new file mode 100644
index 00000000..5683b18d
--- /dev/null
+++ b/slither.config.json
@@ -0,0 +1,4 @@
+{
+  "filter_paths": "lib"
+}
+