diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index f8479a8c51..1a031e3965 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -1,5 +1,8 @@ name: Deploy the documentation +permissions: + contents: read + on: push: branches: @@ -46,6 +49,8 @@ jobs: ################################################################################ pages-docs: name: GitHub Pages + permissions: + contents: write runs-on: ubuntu-latest needs: - pre