name: Deploy docs
on:
push:
branches: [main]
paths:
- "docs/**"
- "book.toml"
- ".github/workflows/pages.yml"
permissions:
contents: read
pages: write
id-token: write
concurrency:
group: pages
cancel-in-progress: true
jobs:
deploy:
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v6
- name: Install mdBook
run: |
mkdir mdbook
curl -sSL https://github.com/rust-lang/mdBook/releases/download/v0.4.40/mdbook-v0.4.40-x86_64-unknown-linux-gnu.tar.gz \
| tar -xz --directory=mdbook
echo "$PWD/mdbook" >> "$GITHUB_PATH"
- run: mdbook build
- uses: actions/upload-pages-artifact@v4.0.0
with:
path: book
- uses: actions/deploy-pages@v4.0.5
id: deployment