Allow deploy job to access id-tokens

digirati-co-uk · Oct 11, 2024 · 18a8a71 · 18a8a71
1 parent 02d2c1e
commit 18a8a71
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -71,6 +71,8 @@ jobs:
           path: target/llvm-cov/html
 
   deploy:
+    permissions:
+      id-token: write
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}