Add permission

Certora · Dec 10, 2024 · bed391c · bed391c
1 parent 7ee5d20
commit bed391c
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -9,6 +9,10 @@ on:
 
 jobs:
   test:
+    permissions:
+      contents: read
+      statuses: write
+      pull-requests: write
     uses: ./workflow.yml@feat/initial-setup
     secrets: inherit
     with: