diff options
Diffstat (limited to '.github/workflows/docs.yml')
-rw-r--r-- | .github/workflows/docs.yml | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 05ede2e9..74f5e9d6 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -1,19 +1,21 @@ --- name: Docs + on: push: branches: [main] pull_request: branches: [main] +permissions: + # This workflow pushes to the gh-pages branch, so the token needs write + # privileges for repo contents. + contents: write + jobs: docs: name: Build documentation runs-on: ubuntu-latest - permissions: - # This job pushes to the gh-pages branch, so the token needs write - # privileges for repo contents. - contents: write steps: - name: Checkout repository uses: actions/checkout@v2 |