GHA: fix permissions for page upload

tweag · Jan 20, 2025 · 64e2bd5 · 64e2bd5
1 parent dfc74e4
commit 64e2bd5
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -30,6 +30,9 @@ jobs:
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}
+    permissions:
+      pages: write
+      id-token: write
     runs-on: ubuntu-latest
     needs: build
     if: github.ref == 'refs/heads/main'