docs.yaml

name: docs

on: [workflow_dispatch]

jobs:
  build:
    runs-on: ubuntu-latest

    steps:
    - uses: actions/checkout@v4

    - uses: actions/checkout@v4
      with:
        ref: gh-pages
        path: gh-pages

    - uses: extractions/setup-crate@v1
      with:
        owner: rust-lang
        name: mdBook

    - uses: extractions/setup-crate@v1
      with:
        owner: Michael-F-Bryan
        name: mdbook-linkcheck

    - name: Build
      run: |
        mdbook build docs
        cp -R docs/book/html/* gh-pages/

    - name: Calculate Git short SHA
      id: git
      run: echo "::set-output name=short_sha::$(git rev-parse --short HEAD)"

    - name: Git commit
      run: |
        cd gh-pages
        git config user.name "github-actions[bot]"
        git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
        git add .
        git commit -m "publish docs for ${{ steps.git.outputs.short_sha }}"
        git push
        cd -