martin/.github/workflows/build-deploy-docs.yml
Yuri Astrakhan 0ef493d9e7
Rework CI to build ARM64 (#889)
* break CI into cleaner steps:  build, test/test-legacy, publish
* add arm64 for linux
2023-09-25 20:27:55 -04:00

30 lines
628 B
YAML

name: Documentation
on:
push:
branches: [ main ]
pull_request:
jobs:
build-docs:
name: Build Docs
runs-on: ubuntu-latest
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
steps:
- uses: actions/checkout@v4
- name: Setup mdBook
uses: peaceiris/actions-mdbook@v1
with:
mdbook-version: 'latest'
- run: mdbook build docs
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
if: ${{ github.ref == 'refs/heads/main' }}
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./target/book