ci: Update PR workflow with workflow permissions

Hopefully this avoids inexplicable merge failures (e.g. for actions/checkout).
linkerd · Mar 13, 2024 · a2acad3 · a2acad3
1 parent cf14405
commit a2acad3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
@@ -151,6 +151,7 @@ jobs:
     permissions:
       contents: write
       pull-requests: write
+      workflows: write # :shrug:
 
     steps:
       - name: Results