···88 # Allows you to run this workflow manually from the Actions tab
99 workflow_dispatch:
10101111-# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
1111+# Default to read-only; the deploy job grants itself the extra
1212+# permissions it needs to publish to GitHub Pages.
1213permissions:
1314 contents: read
1414- pages: write
1515- id-token: write
16151716# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
1817# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
···2827 MDBOOK_VERSION: 0.5.2
2928 steps:
3029 - uses: actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e10 # v6.0.3
3030+ with:
3131+ persist-credentials: false
3132 - name: Install mdBook
3233 run: |
3334 curl --proto '=https' --tlsv1.2 https://sh.rustup.rs -sSf -y | sh
···45464647 # Deployment job
4748 deploy:
4949+ permissions:
5050+ pages: write
5151+ id-token: write
4852 environment:
4953 name: github-pages
5054 url: ${{ steps.deployment.outputs.page_url }}