name: Publish Docs
on:
push:
paths:
- docs/**
- .github/workflows/docs.yml
branches:
jobs:
build:
name: Build and Deploy Documentation
runs-on: ubuntu-latest
permissions:
contents: write
pull-requests: write
steps:
- uses: actions/checkout@v4
- run: (test -x $HOME/.cargo/bin/mdbook || cargo install --vers "^0.4" mdbook)
- run: mdbook build docs && mdbook test docs
- uses: JamesIves/github-pages-deploy-action@4.1.7
with:
branch: gh-pages
folder: docs/book