chore: add permissions for docs deploy pipeline

master
Boaz Poolman 2026-02-01 15:29:29 +01:00
parent e978c81cae
commit a6f01078b0
1 changed files with 3 additions and 0 deletions

View File

@ -11,6 +11,9 @@ jobs:
name: github-pages name: github-pages
url: ${{ steps.deployment.outputs.page_url }} url: ${{ steps.deployment.outputs.page_url }}
runs-on: ubuntu-latest runs-on: ubuntu-latest
permissions:
pages: write
id-token: write
steps: steps:
- name: Checkout - name: Checkout
uses: actions/checkout@v4 uses: actions/checkout@v4