diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 22a9ffcb..60c6a01a 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -8,10 +8,10 @@ jobs: deploy: runs-on: ubuntu-latest permissions: - contents: write # To push a branch + contents: write # To push a branch pull-requests: write # To create a PR from that branch steps: - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 with: fetch-depth: 0 - name: Install mdbook