Add id-token and pages write permissions

chipsalliance · Jul 23, 2024 · 2310325 · 2310325
1 parent 1a4b0bc
commit 2310325
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml
@@ -8,6 +8,10 @@ on:
   workflow_dispatch:
   pull_request:
 
+permissions:
+  pages: write
+  id-token: write
+
 jobs:
   # Call auxiliary workflows
   pre_run: