Set GITHUB_TOKEN permissions for docs CI job

This commit is contained in:
Jonas Platte 2023-07-12 15:32:39 +02:00
parent 4be3a062ae
commit 6fdaff6aa5
No known key found for this signature in database
GPG Key ID: AAA7A61F696C3E0C

View File

@ -204,6 +204,12 @@ jobs:
name: Docs name: Docs
needs: xtask needs: xtask
runs-on: ubuntu-latest runs-on: ubuntu-latest
permissions:
contents: read
pages: write
id-token: write
steps: steps:
- name: Checkout repo - name: Checkout repo
uses: actions/checkout@v3 uses: actions/checkout@v3