Adding Slither to CI

.github/workflows/ci.yml

@@ -1,4 +1,4 @@
-name: ci
+name: CI 
 
 on:
   push:
@@ -25,7 +25,7 @@ jobs:
 
     steps:
       - name: Checkout
-        uses: actions/checkout@v2
+        uses: actions/checkout@v3
         with:
           submodules: recursive
 
@@ -42,7 +42,19 @@ jobs:
 
       - name: Run lint check
         run: make lint
-
+      
       # TODO: implement repo secrets to we can do mainnet forks for integration tests and other parameter configuration
       - name: Run tests
         run: forge test
+
+      - name: Run Slither
+        uses: crytic/slither-action@main
+        id: slither
+        continue-on-error: true
+        with:
+          sarif: results.sarif
+
+      - name: Upload SARIF file
+        uses: github/codeql-action/upload-sarif@v2
+        with:
+          sarif_file: ${{ steps.slither.outputs.sarif }}

.gitignore

@@ -68,6 +68,9 @@ xcuserdata/
 /cache/
 flattened.sol
 
+# Python
+/env/
+
 # ============================================================================ #
 # Application
 # ============================================================================ #