WIP

Reuben Rodrigues · Reuben Rodrigues · commit f33405d21708 · 2021-11-07T22:52:38.000-08:00
diff --git a/.github/workflows/security.yml b/.github/workflows/security.yml
@@ -23,7 +23,7 @@ jobs:
               #  "slither_config",
               #  "truffle",
               #  "upgradability"]
-              # "prop",
+              #  "prop",
               #  "flat"]
     steps:
     - uses: actions/checkout@v1
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "CI/slither"]
 	path = CI/slither
-	url = https://github.com/crytic/slither.git
+	url = https://github.com/Tenderize/slither.git
diff --git a/CI/slither b/CI/slither
@@ -1 +1 @@
-Subproject commit 3bc22a9b143828edec956f170bdef7234d6707d6
+Subproject commit 2f942798f12060e8aee81d690ec292b22e96b992
