name: Deploy mdBook to GitHub Pages
on:
push:
branches: [main]
paths:
- 'docs/book/**'
- '.github/workflows/mdbook.yml'
workflow_dispatch:
permissions:
contents: read
concurrency:
group: pages
cancel-in-progress: false
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 - name: Install mdbook (pinned asset, sha256-verified)
env:
MDBOOK_VERSION: "0.5.4"
MDBOOK_SHA256: 3f28de05dafca9d0f2eab99c662116b0e37b89b1d96a08f8f430b9eeae958cd7
run: |
set -euo pipefail
asset="mdbook-v${MDBOOK_VERSION}-x86_64-unknown-linux-gnu.tar.gz"
curl -fsSL --retry 3 -o "$RUNNER_TEMP/$asset" \
"https://github.com/rust-lang/mdBook/releases/download/v${MDBOOK_VERSION}/$asset"
echo "${MDBOOK_SHA256} $RUNNER_TEMP/$asset" | sha256sum -c -
mkdir -p "$RUNNER_TEMP/mdbook"
tar -xzf "$RUNNER_TEMP/$asset" -C "$RUNNER_TEMP/mdbook"
echo "$RUNNER_TEMP/mdbook" >> "$GITHUB_PATH"
- run: mdbook build docs/book
- uses: actions/upload-pages-artifact@56afc609e74202658d3ffba0e8f6dda462b719fa with:
path: docs/book/book
deploy:
needs: build
runs-on: ubuntu-latest
permissions:
pages: write
id-token: write
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
steps:
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@d6db90164ac5ed86f2b6aed7e0febac5b3c0c03e