ci: add permissions to publish to pages

2025-12-20 15:12:43 +01:00
parent 4b16cbdd77
commit e5d1a9f548
1 changed files with 3 additions and 0 deletions
@@ -36,6 +36,9 @@ jobs:
    environment:
      name: github-pages
      url: ${{ steps.deployment.outputs.page_url }}
+    permissions:
+      pages: write
+      id-token: write
    runs-on: ubuntu-latest
    needs: build
    steps: