chore: workflow: test node z3: permissions

guesant · guesant · commit 26a84d864ebc · 2024-03-10T07:35:14.000-04:00
diff --git a/.github/workflows/test-estudo-node-z3.yml b/.github/workflows/test-estudo-node-z3.yml
@@ -10,11 +10,11 @@ jobs:
   test:
     runs-on: ubuntu-latest
 
-    # permissions:
-    #   # Required to checkout the code
-    #   contents: read
-    #   # Required to put a comment into the pull-request
-    #   pull-requests: write
+    permissions:
+      # Required to checkout the code
+      contents: read
+      # Required to put a comment into the pull-request
+      pull-requests: write
 
     strategy:
       matrix:
