chore: pr-deploy: set permissions

leanprover · Jan 16, 2025 · ca74c30 · ca74c30
1 parent 8aa34e5
commit ca74c30
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/pr-deploy.yml b/.github/workflows/pr-deploy.yml
@@ -5,6 +5,9 @@ on:
     workflows: [Build and check HTML]
     types: [completed]
 
+permissions:
+  pull-requests: write
+
 jobs:
   deploy:
     if: github.event.workflow_run.conclusion == 'success' && github.event.workflow_run.event == 'pull_request' && github.repository == 'leanprover/reference-manual'