Update Slither workflow permissions and arguments

bcnmy · Feb 20, 2024 · 2ad42fc · 2ad42fc
1 parent 729072c
commit 2ad42fc
Showing 1 changed file with 8 additions and 3 deletions.
diff --git a/.github/workflows/slither.yml b/.github/workflows/slither.yml
@@ -2,6 +2,11 @@ name: Slither Analysis
 
 on:
   pull_request:
+  push:
+
+permissions:
+  contents: read
+  pull-requests: write
 
 jobs:
   analyze:
@@ -14,9 +19,9 @@ jobs:
         uses: crytic/[email protected]
         id: slither
         with:
-          slither-version: '0.10.0'  
-          node-version: '18'
-          fail-on: 'none'
+          slither-version: "0.10.0"
+          node-version: "18"
+          fail-on: "none"
           slither-args: '--filter-paths "contracts/mock|node_modules" --checklist --markdown-root ${{ github.server_url }}/${{ github.repository }}/blob/${{ github.sha }}/contracts/'
 
       - name: Create/update checklist as PR comment